Theorem Ideal.Submodule.mem_annihilator

Modification history