Theorem Ideal.Submodule.mul_annihilator

Modification history