Skip to content

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

[Merged by Bors] - feat: add Finset lemmas

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

set_pr_emoji

succeeded Oct 17, 2025 in 26s