Theorem RingEquiv.prodProdProdComm_toMulEquiv

Modification history