[Merged by Bors] - feat(SetTheory/Ordinal): prove that ε₀ and Γ₀ are countable
#299276
| Job | Run time |
|---|---|
| 5s | |
| 5s |
ε₀ and Γ₀ are countable
#299276
| Job | Run time |
|---|---|
| 5s | |
| 5s |