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