Theorem Affine.Simplex.mem_interior_face_iff_sbtw

Modification history

2026-01-13 19:40
Mathlib/Analysis/Convex/Between.lean
chore(Algebra): replace `NoZeroSMulDivisors` with `Module.IsTorsionFree` wlog (#30563) …
Modified Affine.Simplex.mem_interior_face_iff_sbtwView on Github →
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 →