Theorem Module.finite_iff_of_rank_eq_nsmul

Modification history