Skip to content

[Merged by Bors] - chore(Algebra/Star): clean up simp lemmas about bundled star equivalences#39757

Closed
gasparattila wants to merge 9 commits into
leanprover-community:masterfrom
gasparattila:star-equiv-simp
Closed

[Merged by Bors] - chore(Algebra/Star): clean up simp lemmas about bundled star equivalences#39757
gasparattila wants to merge 9 commits into
leanprover-community:masterfrom
gasparattila:star-equiv-simp

fix

e648de2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci (fork) / Lint style
succeeded Jun 3, 2026 in 2m 17s