Theorem Ideal.Submodule.mem_annihilator_span_singleton

Modification history