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