Def CategoryTheory.Comma.mapLeftEq

Modification history

2023-08-06 01:45

Mathlib/CategoryTheory/Comma.lean

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

Added CategoryTheory.Comma.mapLeftEq View on Github →