Theorem Submodule.jacobson_smul_lt_top

Modification history