Theorem Submodule.fg_iff_addSubgroup_fg

Modification history