Theorem SimplexCategory.mkOfLe_refl

Modification history

2024-12-04 20:12
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat(AlgebraicTopology/SimplicialSet): StrictSegal simplicial sets are 2-coskeletal (#19057) …
Added SimplexCategory.mkOfLe_reflView on Github →