Ordinal/Buchholz: checked refutation — rank-pow reverses a <ᵇ step at the ψ/Ω boundary
#744
hyperpolymathagda.yml
on: pull_request
check
2m 2s
cold-check
12m 57s