Theorem Convexity.StdSimplex.mem_range_map_iff

Modification history

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