Theorem CategoryTheory.Arrow.eqToHom_left

Modification history

2026-04-10 14:17
Mathlib/CategoryTheory/Comma/Arrow.lean
chore(CategoryTheory/Comma): API separation for Arrow (#37764) …
Added CategoryTheory.Arrow.eqToHom_leftView on Github →