Theorem CategoryTheory.CommSq.w'

Modification history

2026-04-17 15:13
Mathlib/CategoryTheory/CommSq.lean
feat(CategoryTheory/CommSq): use `to_dual` (#38064) …
Added CategoryTheory.CommSq.w'View on Github →