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