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