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