Theorem IsOpen.exists_subset_affineIndependent_span_eq_top

Modification history