Theorem Submodule.mul_annihilator

Modification history