Theorem Submodule.mem_span_set'

Modification history