Theorem Submodule.top_ne_set_smul_of_subset_jacobson_annihilator

Modification history