mathlib3

3a58b50f - feat(data/equiv/basic): add more functions for equivalences between complex types (#1384)

feat(data/equiv/basic): add more functions for equivalences between complex types (#1384) * Add more `equiv` combinators * Fix compile * Minor fixes * Update src/data/equiv/basic.lean Co-Authored-By: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>