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