Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u10
,
u1
.
The subproof is completed by applying unknownprop_a7fa19a834d529db93c1b2300b41b17f336102b7793b24e9a750d6e03dec690c.
■