Skip to content

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

[Merged by Bors] - feat: add Finset lemmas

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

Lint style (fork)

succeeded Oct 14, 2025 in 4m 0s