[Merged by Bors] - feat: simplify ℵ₁ ≤ c to ℵ₀ < c #241841
Triggered via pull request
March 30, 2026 14:07
YaelDillies
YaelDillies
submitted
#37024
Status
Success
Total duration
10s
Artifacts
1
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
workflow-data
Expired
|
886 Bytes |
sha256:30bf33ea7291d3c3d1d97ac9d8bf52a33a3cc22a65c384b74b76145c2c744185
|
|