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