Theorem SSet.quasicategory_of_filler

Modification history

2024-01-10 21:36

Mathlib/AlgebraicTopology/Quasicategory.lean

feat(AlgebraicTopology/Quasicategory): alternative statement of hornfilling condition (#9360)

Added SSet.quasicategory_of_filler View on Github →