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