Theorem Affine.Simplex.mem_interior_face_iff_sbtw

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_interior_face_iff_sbtwView on Github →