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