Theorem Submodule.top_ne_ideal_smul_of_le_jacobson_annihilator

Modification history