Theorem Submodule.mem_span_finset

Modification history