Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimplexCategory.mkOfSucc_δ_gt
Modification history
2024-11-25 11:42
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories (#19270) …
Added
SimplexCategory.mkOfSucc_δ_gt
View on Github →