Theorem IsOpen.exists_between_affineIndependent_span_eq_top

Modification history