proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inve…
#696
| Job | Run time |
|---|---|
| 1m 51s | |
| 10m 40s | |
| 12m 31s |
ω-rank-pow reflects _<Ω_ (bridge bOmega-case inve…
#696
| Job | Run time |
|---|---|
| 1m 51s | |
| 10m 40s | |
| 12m 31s |