Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u17
,
u15
.
The subproof is completed by applying unknownprop_35f4d337254964d13bfee3413f1b56f908aee5828cc15d13f416e7a488640c53.
■