Maintainer merge

[Merged by Bors] - chore(Data/Set): add missing `Set.forall_mem_*` lemmas #317591

Sign in to view logs

Triggered via pull request August 16, 2026 14:49

plp127

submitted #42549

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: pull_request_review

Ping maintainers on Zulip