Theorem Equiv.trans_swap_trans_symm

Modification history