Def PartialEquiv.piecewise

Modification history