Def RingEquiv.sumArrowEquivProdArrow

Modification history