Theorem Submodule.mem_span_iff_exists_finset_subset

Modification history