Def CategoryTheory.Comma.mapRightEq

Modification history

2026-06-16 12:08

Mathlib/CategoryTheory/Comma/Basic.lean

feat(CategoryTheory/Comma/Basic): use `to_dual` more (#40355) …

Deleted CategoryTheory.Comma.mapRightEq View on Github →

2023-08-06 01:45

Mathlib/CategoryTheory/Comma.lean

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

Added CategoryTheory.Comma.mapRightEq View on Github →