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