Def SSet.Augmented.StandardSimplex.shift

Modification history

2025-02-07 22:35

Mathlib/AlgebraicTopology/ExtraDegeneracy.lean

feat(AlgebraicTopology): notation ⦋n⦌ for SimplexCategory.mk n (#21565) …

Modified SSet.Augmented.StandardSimplex.shift View on Github →

2023-04-29 23:07

Mathlib/AlgebraicTopology/ExtraDegeneracy.lean

feat: port AlgebraicTopology.ExtraDegeneracy (#3729)

Added SSet.Augmented.StandardSimplex.shift View on Github →