Theorem Submodule.fg_top

Modification history