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