perm_congr simp lemmas (#5737)

Commit

5 years ago

chore(data/equiv/basic): equiv/perm_congr simp lemmas (#5737) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

pechersky

Parents