Theorem vectorSpan_eq_span_vsub_finset_right_ne

Modification history