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