Def SSet.stdSimplex.id
Modification history
2025-03-14 12:47
Mathlib/AlgebraicTopology/SimplicialSet/StdSimplex.lean
refactor(AlgebraicTopology/SimplicialSet): use the Subpresheaf API (#21090) …
Deleted SSet.stdSimplex.idView on Github →2025-02-08 20:13
Mathlib/AlgebraicTopology/SimplicialSet/StdSimplex.lean
feat(AlgebraicTopology): notations X _⦋n⦌ and X ^⦋n⦌ for (co)simplicial objects (#21581) …
Modified SSet.stdSimplex.idView on Github →2025-02-07 22:35
Mathlib/AlgebraicTopology/SimplicialSet/StdSimplex.lean
feat(AlgebraicTopology): notation ⦋n⦌ for SimplexCategory.mk n (#21565) …
Modified SSet.stdSimplex.idView on Github →