Theorem AffineIndependent.vectorSpan_eq_top_of_card_eq_finrank_add_one

Modification history