Theorem CategoryTheory.CommSq.fac_right

Modification history

2026-04-17 15:13
Mathlib/CategoryTheory/CommSq.lean
feat(CategoryTheory/CommSq): use `to_dual` (#38064) …
Deleted CategoryTheory.CommSq.fac_rightView on Github →
2023-02-21 19:30
Mathlib/CategoryTheory/CommSq.lean
feat: port CategoryTheory.CommSq (#2322)
Added CategoryTheory.CommSq.fac_rightView on Github →