[Merged by Bors] - chore(Data/Set): add missing Set.forall_mem_* lemmas
#317470
Triggered via pull request
August 16, 2026 10:27
Ruben-VandeVelde
Ruben-VandeVelde
submitted
#42549
Status
Success
Total duration
6s
Artifacts
1
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
3s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
workflow-data
|
867 Bytes |
sha256:ca5451dfcacfcea8451ea92e5a8d5a8557df037ebef721f47b046e30f3a853ec
|
|