Def SSet.nonDegenerateEquivOfIso

Modification history

2025-10-09 13:01

Mathlib/AlgebraicTopology/SimplicialSet/Degenerate.lean

feat(AlgebraicTopology/SimplicialSet): nondegenerate simplices in the standard simplex (#28395) …

Added SSet.nonDegenerateEquivOfIso View on Github →