Def SimplexCategory.factor_δ

Modification history

2024-01-10 21:36

Mathlib/AlgebraicTopology/SimplexCategory.lean

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

Added SimplexCategory.factor_δ View on Github →