Theorem Ideal.Submodule.mem_annihilator_span

Modification history