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