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