Theorem FiniteDimensional.rank_eq_ofNat_iff_finrank_eq_ofNat

Modification history