Theorem symm_toLexLinearEquiv

Modification history