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