Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-14 15:25 e3cc92e1

View on Github →

chore(data/equiv/basic): swap symm and trans simp lemmas (#5738)

Estimated changes

Modified src/data/equiv/basic.lean

modified theorem equiv.swap_self

modified theorem equiv.symm_trans_swap_trans

added theorem equiv.trans_swap_trans_symm