Theorem Module.Finite.exists_smul_of_comp_eq_of_isLocalizedModule

Modification history