Theorem finrank_span_le_card

Modification history