Theorem Submodule.mem_span_insert

Modification history