Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u19
,
u14
.
The subproof is completed by applying unknownprop_3346d99f6d06c90cda72f58c2f46939ea074b3d5a031da53d39ffce163945e71.
■