Theorem FiniteDimensional.finrank_eq_card_basis

Modification history