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