Theorem Ideal.Submodule.le_annihilator_iff

Modification history