Theorem CategoryTheory.Arrow.id_left

Modification history

2026-04-10 14:17

Mathlib/CategoryTheory/Comma/Arrow.lean

chore(CategoryTheory/Comma): API separation for Arrow (#37764) …

Modified CategoryTheory.Arrow.id_left View on Github →

2023-02-16 18:14

Mathlib/CategoryTheory/Arrow.lean

feat: port CategoryTheory.Arrow (#2315)

Added CategoryTheory.Arrow.id_left View on Github →