Skip to content

[Merged by Bors] - feat: add Finset lemmas #22312

[Merged by Bors] - feat: add Finset lemmas

[Merged by Bors] - feat: add Finset lemmas #22312

set_pr_emoji

succeeded Oct 17, 2025 in 14s