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