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