Theorem Affine.Simplex.mem_closedInterior_face_iff_wbtw

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