Theorem toEquiv_symm_toLexMulEquiv

Modification history