Theorem AlgEquiv.sumArrowEquivProdArrow_apply

Modification history