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