Def CategoryTheory.Comma.mapRightEq

Modification history

2023-08-06 01:45

Mathlib/CategoryTheory/Comma.lean

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

Added CategoryTheory.Comma.mapRightEq View on Github →