Search for blocks/addresses/...
Proofgold Proof
pf
Apply omega_ordsucc with
5
.
The subproof is completed by applying unknownprop_c555e660bf0acb2b3a9fd483ceeafc0a017e8ceb693c163ce781d6ee67e3698c.
■