Theorem coe_ofLexMulEquiv

Modification history