Theorem CategoryTheory.Arrow.hom_inv_id_right

Modification history

2026-06-22 18:03
Mathlib/CategoryTheory/Comma/Arrow.lean
chore(CategoryTheory/Comma/Arrow): use `to_dual` (#40862) …
Deleted CategoryTheory.Arrow.hom_inv_id_rightView on Github →
2023-11-10 13:09
Mathlib/CategoryTheory/Arrow.lean
feat(CategoryTheory): more API for limit kernel forks (#8200) …
Added CategoryTheory.Arrow.hom_inv_id_rightView on Github →