Theorem vectorSpan_eq_span_vsub_set_left_ne

Modification history