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