Theorem Ideal.Submodule.annihilator_mono

Modification history