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