[Merged by Bors] - feat(SetTheory/Ordinal): prove that ε₀ and Γ₀ are countable
#325164
Triggered via issue
September 1, 2026 11:44
mathlib-bors[bot]
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_merge.yml
on: issue_comment
Ping maintainers on Zulip