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