Theorem vectorSpan_range_eq_span_range_vsub_right_ne

Modification history