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