Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u18
,
u1
.
The subproof is completed by applying unknownprop_f3436740e150aa6686a92ef6cb4098a785feec3842bfd698a8cdcb84015b8d4b.
■