Theorem SSet.degenerate_zero

Modification history

2025-09-09 19:57
Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean
feat(AlgebraicTopology): nondegenerate simplices in the nerve of a partially ordered type (#28337) …
Modified SSet.degenerate_zeroView on Github →
2025-03-11 09:14
Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean
feat(AlgebraicTopology/SimplicialSet): degenerate simplices (#21098) …
Added SSet.degenerate_zeroView on Github →