PR #1026 feat(data/equiv/functor): map_equiv

feat(data/equiv/functor): map_equiv #1026

mergify merged 3 commits into master from functor-map-equiv

jcommelin requested a review 6 years ago

jcommelin assigned

cipher1024 6 years ago

feat(data/equiv/functor): map_equiv

11403d2b

golf proofs

9ea42dd5

rwbarton approved these changes on 2019-05-14

rwbarton added ready-to-merge

Merge branch 'master' into 'functor-map-equiv'

486ab842

mergify merged e7b64c55 into master 6 years ago

mergify deleted the functor-map-equiv branch 6 years ago

Reviewers

rwbarton

Assignees

cipher1024

Labels

ready-to-merge

Milestone

No milestone