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