Theorem Submodule.top_ne_pointwise_smul_of_mem_jacobson_annihilator

Modification history