[Merged by Bors] - feat(SetTheory/Ordinal): prove that ε₀ and Γ₀ are countable
#17522
Triggered via pull request
September 1, 2026 11:44
mathlib-bors[bot]
mathlib-bors[bot]
labeled
#40551
Status
Cancelled
Total duration
8s
Artifacts
–
zulip_emoji_reconcile.yml
on: pull_request_target
reconcile
Annotations
1 error
|
Zulip emoji reconcile
Canceling since a higher priority waiting request for Zulip emoji reconcile exists
|