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