Theorem Submodule.mem_annihilator'

Modification history