Def LinearEquiv.sumPiEquivProdPi

Modification history