[Merged by Bors] - chore: use to_fun to auto-generate more duplicate lemmas#34279
Closed
grunweg wants to merge 4 commits into
Closed
[Merged by Bors] - chore: use to_fun to auto-generate more duplicate lemmas#34279grunweg wants to merge 4 commits into
to_fun to auto-generate more duplicate lemmas#34279grunweg wants to merge 4 commits into
Commits
Commits on May 17, 2026
- committed
- committed
- committed
Commits on May 19, 2026
- committed