Def ofLexLinearEquiv

Modification history