Mathlib v3 is deprecated. Go to Mathlib v4

Theorem convex.interior_nonempty_iff_affine_span_eq_top

Modification history

2022-04-07 20:32
src/analysis/normed_space/add_torsor_bases.lean
feat(analysis/normed_space/add_torsor_bases): add `convex.interior_nonempty_iff_affine_span_eq_top` (#13220) …
Added convex.interior_nonempty_iff_affine_span_eq_topView on Github →