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