Theorem coe_symm_toLexMulEquiv

Modification history