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