Theorem AffineIndependent.vectorSpan_eq_of_le_of_card_eq_finrank_add_one

Modification history