Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u20
,
u16
.
The subproof is completed by applying unknownprop_e5a105866bd0ded6c3644380e06b833d4aba44e9391e3fab11d8053b9f135f2f.
■