Commit 2026-04-17 15:13 9e660b66
View on Github →feat(CategoryTheory/CommSq): use to_dual (#38064)
This PR uses to_dual on CommSq. There are two possible ways to dualize CommSq, due to its inherent symmetry. I picked to option that is consistent with CommSq.op and which allows dualizing LiftStruct to itself.