proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inversion)
#57
| Job | Run time |
|---|---|
| 11s | |
| 3s | |
| 10s | |
| 13s | |
| 37s |
ω-rank-pow reflects _<Ω_ (bridge bOmega-case inversion)
#57
| Job | Run time |
|---|---|
| 11s | |
| 3s | |
| 10s | |
| 13s | |
| 37s |