Theorem vectorSpan_image_eq_span_vsub_set_left_ne

Modification history