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