Theorem Ideal.Module.mem_annihilator

Modification history