Def CategoryTheory.CostructuredArrow.mapIso

Modification history

2023-08-06 01:45

Mathlib/CategoryTheory/StructuredArrow.lean

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

Added CategoryTheory.CostructuredArrow.mapIso View on Github →