Theorem SimplexCategory.factor_δ_spec

Modification history

2024-01-10 21:36
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat(AlgebraicTopology/Quasicategory): alternative statement of hornfilling condition (#9360)
Added SimplexCategory.factor_δ_specView on Github →