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