Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u16
,
u11
.
The subproof is completed by applying unknownprop_47b0549db93ebcad72e3d90923d72379e5655902a485807edad02af70ddd3445.
■