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