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