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