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