Theorem AffineIndependent.affineSpan_eq_of_le_of_card_eq_finrank_add_one

Modification history