Theorem Submodule.eq_bot_of_set_smul_eq_of_subset_jacobson_annihilator

Modification history