Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.iso.trans_mk

Modification history

2019-04-10 00:12

src/category_theory/isomorphism.lean

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

Added category_theory.iso.trans_mk View on Github →