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