Def toLexLinearEquiv

Modification history