[Merged by Bors] - feat(SetTheory/Ordinal): prove that ε₀ and Γ₀ are countable
#299276
Triggered via issue
September 1, 2026 11:44
mathlib-bors[bot]
Status
Success
Total duration
8s
Artifacts
–
maintainer_bors.yml
on: issue_comment
Detect bors merge/delegate command
5s