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