Theorem StrictConvex.sum_mem_interior

Modification history

2025-12-06 00:03
Mathlib/Analysis/Convex/StrictCombination.lean
feat(Analysis/Convex/StrictCombination): convex combinations in strictly convex sets and spaces (#31452) …
Added StrictConvex.sum_mem_interiorView on Github →