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