proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inve…
#215
| Job | Run time |
|---|---|
| 0s |
ω-rank-pow reflects _<Ω_ (bridge bOmega-case inve…
#215
| Job | Run time |
|---|---|
| 0s |