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