Theorem Submodule.FG.jacobson_smul_lt

Modification history