Theorem symm_ofLexMulEquiv

Modification history