Def PartialEquiv.prod

Modification history