Theorem SSet.mem_degenerate_iff_not_mem_nonDegenerate

Modification history

2025-05-25 12:30
Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted SSet.mem_degenerate_iff_not_mem_nonDegenerateView on Github →
2025-03-11 09:14
Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean
feat(AlgebraicTopology/SimplicialSet): degenerate simplices (#21098) …
Added SSet.mem_degenerate_iff_not_mem_nonDegenerateView on Github →