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