Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u16
,
u10
.
The subproof is completed by applying unknownprop_4eba3f0917ffb7ab4575d03fa353c824d8d4f151df45c3ade8f1ca296d4cc0ee.
■