Theorem FiniteDimensional.finiteDimensional_iff_of_rank_eq_nsmul

Modification history