Commit 2022-04-07 20:32 02a25602
View on Github →feat(analysis/normed_space/add_torsor_bases): add convex.interior_nonempty_iff_affine_span_eq_top (#13220)
Generalize interior_convex_hull_nonempty_iff_aff_span_eq_top to any
convex set, not necessarily written as the convex hull of a set.