Theorem AffineIndependent.affineSpan_eq_top_iff_card_eq_finrank_add_one

Modification history