Theorem LinearIndependent.fintype_card_le_finrank

Modification history