Def CategoryTheory.Comma.mapSnd

Modification history

2026-06-16 12:08

Mathlib/CategoryTheory/Comma/Basic.lean

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

Deleted CategoryTheory.Comma.mapSnd View on Github →

2024-08-12 17:47

Mathlib/CategoryTheory/Comma/Basic.lean

feat(CategoryTheory): Composing `Comma.map` with `Comma.fst` and `Comma.snd` (#15730)

Added CategoryTheory.Comma.mapSnd View on Github →