Theorem span_eq_top_of_linearIndependent_of_card_eq_finrank

Modification history