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