Theorem Submodule.mem_span_finite_of_mem_span

Modification history