Theorem Submodule.mem_mul_span_singleton

Modification history