Theorem Submodule.mem_span_pair

Modification history