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