Theorem SSet.nonDegenerate_zero

Modification history

2026-10-13 05:39
Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean
chore(SimplicialSet): fix capitalization of `nonDegenerate_zero` (#44791)
Added SSet.nonDegenerate_zeroView on Github →