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