Def CategoryTheory.Comma.mapLeftComp

Modification history

2023-06-09 07:23

Mathlib/CategoryTheory/Comma.lean

chore: review of automation in category theory (#4793) …

Modified CategoryTheory.Comma.mapLeftComp View on Github →

2023-02-14 11:49

Mathlib/CategoryTheory/Comma.lean

feat: port CategoryTheory.Comma (#2260)

Added CategoryTheory.Comma.mapLeftComp View on Github →