Theorem Subalgebra.fg_of_fg_toSubmodule

Modification history