Theorem SSet.isIso_of_nonDegenerate

Modification history

2025-03-11 09:14

Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean

feat(AlgebraicTopology/SimplicialSet): degenerate simplices (#21098) …

Added SSet.isIso_of_nonDegenerate View on Github →