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