Theorem Submodule.fg_iff_exists_fin_linearMap

Modification history