Def CategoryTheory.Comma.mapFst

Modification history

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.mapFst View on Github →