fin): simp definitional lemmas (#5740)

Commit

5 years ago

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

Author

pechersky

Parents