Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_ordsucc with
u59
.
The subproof is completed by applying unknownprop_f056f51bca4567c8d62c3bc3e785fe3d23df8d4d5d2bfd7206e2480c3264d6d7.
■