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