Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u17
,
u15
.
The subproof is completed by applying unknownprop_d1dffc1c336e15bfd52ffbb0cdea2a47c856c061ff9c118dd9e985b84e29dc83.
■