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