Theorem FiniteDimensional.rank_eq_one_iff_finrank_eq_one

Modification history