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