Theorem CategoryTheory.Arrow.eqToHom_right

Modification history

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