Def CategoryTheory.StructuredArrow.mapNatIso

Modification history

2023-08-06 01:45

Mathlib/CategoryTheory/StructuredArrow.lean

feat: transfer Functor.Final across natural isomorphisms (#6232)

Added CategoryTheory.StructuredArrow.mapNatIso View on Github →