Commit 2026-07-01 07:36 0cbbb171
View on Github →chore(CategoryTheory/Limits): fix simp lemmas for productUniqueIso #41083 (#41202)
The previously by simps! generated lemmas leaked through the production abstraction barrier.
This PR was automatically created from PR #41083 by @peabrainiac via a review comment by @chrisflav.