Theorem vectorSpan_range_eq_span_range_vsub_right

Modification history