Theorem Submodule.eq_bot_of_eq_ideal_smul_of_le_jacobson_annihilator

Modification history