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