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