Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u17
,
u10
.
The subproof is completed by applying unknownprop_7af243686256d97349e2c2a55c958e2d435fe9a5e016344b19465fce23ad5676.
■