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