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