Theorem finrank_span_finset_le_card

Modification history