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