Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u13
,
u11
.
The subproof is completed by applying unknownprop_0a910a83fae7c1219e51ae6f441b8120dc6f2353f129945859e5867a1d5c1be3.
■