Theorem vectorSpan_eq_span_vsub_set_left

Modification history