Theorem Submodule.exists_mem_and_smul_eq_self_of_fg_of_le_smul

Modification history