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