Theorem RingEquiv.sumArrowEquivProdArrow_apply

Modification history