Theorem linearIndependent_of_top_le_span_of_card_eq_finrank

Modification history