Theorem vectorSpan_range_eq_span_range_vsub_left_ne

Modification history