functor): map_equiv (#1026)

Commit

6 years ago

feat(data/equiv/functor): map_equiv (#1026) * feat(data/equiv/functor): map_equiv * golf proofs

References

Author

jcommelin

Committer

mergify[bot]

Parents