Theorem Module.exists_basis_of_span_of_flat

Modification history