Theorem Submodule.mem_annihilator_span_singleton

Modification history