Theorem Affine.Simplex.interior_eq_image_Ioo

Modification history

2025-09-21 16:51
Mathlib/Analysis/Convex/Between.lean
feat(Analysis/Convex/Between): interior of a 1-simplex (#29418) …
Added Affine.Simplex.interior_eq_image_IooView on Github →