Def ofLexMulEquiv

Modification history