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