Theorem Submodule.FG.eq_bot_of_le_jacobson_smul

Modification history