Theorem Affine.Simplex.closedInterior_face_eq_affineSegment

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.closedInterior_face_eq_affineSegmentView on Github →