Theorem CategoryTheory.Comma.id_right

Modification history

2026-05-04 11:17
Mathlib/CategoryTheory/Comma/Basic.lean
feat(Translate): reorder universes (#36604) …
Deleted CategoryTheory.Comma.id_rightView on Github →
2023-02-14 11:49
Mathlib/CategoryTheory/Comma.lean
feat: port CategoryTheory.Comma (#2260)
Added CategoryTheory.Comma.id_rightView on Github →