Theorem MonoidAlgebra.opRingEquiv_single

Modification history