Commit 2020-03-26 10:05 ea10e173
View on Github →feat(data/equiv/functor): bifunctor.map_equiv (#2241)
- feat(data/equiv/functor): bifunctor.map_equiv
- add documentation, and make the function an explicit argument
- Update src/data/equiv/functor.lean
feat(data/equiv/functor): bifunctor.map_equiv (#2241)