Theorem Ideal.Submodule.annihilator_smul

Modification history