Theorem SSet.Quasicategory.hornFilling

Modification history