Theorem Module.exists_basis_of_basis_baseChange

Modification history