Theorem SSet.degenerate_eq_iUnion_range_σ

Modification history

2025-03-11 09:14
Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean
feat(AlgebraicTopology/SimplicialSet): degenerate simplices (#21098) …
Added SSet.degenerate_eq_iUnion_range_σView on Github →