Mathlib Changelog
v4
Changelog
About
Github
Def
SSet.standardSimplex.triangle
Modification history
2025-01-23 17:36
Mathlib/AlgebraicTopology/SimplicialSet/Basic.lean
feat(AlgebraicTopology): rename standardSimplex to stdSimplex (#20974) …
Deleted
SSet.standardSimplex.triangle
View on Github →
2024-01-09 21:58
Mathlib/AlgebraicTopology/SimplicialSet.lean
feat(AlgebraicTopology/SimplicialSet): constructors for subfaces (#9363) …
Added
SSet.standardSimplex.triangle
View on Github →