Def stdSimplexHomeomorphUnitInterval

Modification history

2024-02-08 13:29

Mathlib/Analysis/Convex/Topology.lean

feat(Analysis/Convex): lemmas about low-dimensional `stdSimplex`es (#10325) …

Added stdSimplexHomeomorphUnitInterval View on Github →