Theorem FiniteDimensional.finrank_eq_card_chooseBasisIndex

Modification history