[Merged by Bors] - chore(Algebra/Star): clean up simp lemmas about bundled star equivalences#39757
Closed
gasparattila wants to merge 9 commits into
Closed
[Merged by Bors] - chore(Algebra/Star): clean up simp lemmas about bundled star equivalences#39757gasparattila wants to merge 9 commits into
simp lemmas about bundled star equivalences#39757gasparattila wants to merge 9 commits into
Commits
Commits on May 23, 2026
Commits on May 24, 2026
- committed
Commits on May 25, 2026
Commits on Jun 3, 2026
- committed
- committed
- committed
- committed
- committed