Theorem Equiv.symm_trans_swap_trans

Modification history