Theorem stdSimplex_subset_Icc

Modification history

2026-02-25 22:02
Mathlib/Analysis/Convex/StdSimplex.lean
feat(Geometry/Euclidean): Simplex.closedInterior is closed (#35358) …
Added stdSimplex_subset_IccView on Github →