Theorem vectorSpan_eq_span_vsub_set_right

Modification history