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