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