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