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