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