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