Def toLexMulEquiv

Modification history