Theorem AlgEquiv.toRingEquiv_opOp

Modification history