basic): swap symm and trans simp lemmas (#5738)

Commit

5 years ago

chore(data/equiv/basic): swap symm and trans simp lemmas (#5738) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

pechersky

Parents