Theorem Module.exists_basis_of_span_of_maximalIdeal_rTensor_injective

Modification history