Theorem vectorSpan_range_eq_span_range_vsub_left

Modification history