Packages from the vendor antstei

antstei/automath