Theorem Convexity.StdSimplex.topologicalSpace_eq

Modification history

2026-08-11 15:45
Mathlib/Geometry/Convex/ConvexSpace/Topology.lean
feat(Geometry/Convex): a topology on StdSimplex (#42131) …
Added Convexity.StdSimplex.topologicalSpace_eqView on Github →