Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv.trans_swap_trans_symm

Modification history

2021-01-14 15:25
src/data/equiv/basic.lean
chore(data/equiv/basic): swap symm and trans simp lemmas (#5738)
Added equiv.trans_swap_trans_symmView on Github →