Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u17
,
u6
.
The subproof is completed by applying unknownprop_85b2adc94c49bab8c1d22cc2a4a0b91d88be95ce8e4a8f670459b5e66783cdc8.
■