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