proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2)
#692
hyperpolymathagda.yml
on: pull_request
check
1m 47s
cold-check
10m 12s