mathlib3
refactor(category_theory): rename `functor.on_iso` to `functor.map_iso`
#893

Merged

refactor(category_theory): rename `functor.on_iso` to `functor.map_iso` #893

mergify merged 5 commits into master from map_nat_iso

feat(category_theory): functor.map_nat_iso

9d3f315a

kim-em requested a review from

rwbarton 6 years ago

kim-em requested a review 6 years ago

rwbarton assigned

rwbarton 6 years ago

some more missing whiskering lemmas, while we're at it

abfb929e

rwbarton commented on 2019-04-08

removing map_nat_iso

39e2e635

Merge branch 'master' into map_nat_iso

dc42d537

rwbarton changed the title ~~feat(category_theory): functor.map_nat_iso~~ refactor(category_theory): rename `functor.on_iso` to `functor.map_iso` 6 years ago

rwbarton approved these changes on 2019-04-09

rwbarton added ready-to-merge

Merge branch 'master' into 'map_nat_iso'

3261f317

mergify merged 96d748eb into master 6 years ago

mergify deleted the map_nat_iso branch 6 years ago

Reviewers

rwbarton

Assignees

rwbarton

Labels

ready-to-merge

Milestone

No milestone

mathlib3 refactor(category_theory): rename `functor.on_iso` to `functor.map_iso` #893 Merged

refactor(category_theory): rename `functor.on_iso` to `functor.map_iso` #893

mathlib3
refactor(category_theory): rename `functor.on_iso` to `functor.map_iso`
#893

Merged