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