Theorem CategoryTheory.Under.isoMk_hom_right

Modification history

2026-04-13 19:44
Mathlib/CategoryTheory/Comma/Over/Basic.lean
chore(CategoryTheory/Comma): API separation for StructuredArrow (#37809) …
Deleted CategoryTheory.Under.isoMk_hom_rightView on Github →
2023-03-03 08:09
Mathlib/CategoryTheory/Over.lean
feat: port CategoryTheory.Over (#2496)
Added CategoryTheory.Under.isoMk_hom_rightView on Github →