Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u22
,
u19
.
The subproof is completed by applying unknownprop_1a53f970fcf4ee84e2f9d30498e0319f427d029bd6cae83309f9f5e645439192.
■