Theorem SSet.Augmented.StandardSimplex.shiftFun_zero

Modification history

2025-04-23 13:25
Mathlib/AlgebraicTopology/ExtraDegeneracy.lean
chore(AlgebraicTopology/ExtraDegeneracy): use `Matrix.vecCons` (#24199) …
Added SSet.Augmented.StandardSimplex.shiftFun_zeroView on Github →