Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u17
,
u11
.
The subproof is completed by applying unknownprop_914edee65675f074ac22e4efdf62b56d906e2295ea6417cdabcb9106e39ee5b7.
■