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