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