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