Skip to content

[Merged by Bors] - feat: club sets#37677

Closed
vihdzp wants to merge 36 commits into
leanprover-community:masterfrom
vihdzp:club
Closed

[Merged by Bors] - feat: club sets#37677
vihdzp wants to merge 36 commits into
leanprover-community:masterfrom
vihdzp:club

Merge branch 'master' into club

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

Annotations

1 warning
Lint and suggest
succeeded May 20, 2026 in 2m 0s