Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u22, u11. The subproof is completed by applying unknownprop_84eafe0d1b390e2c8ff6926ca29d0a2cfa95e4e3cceeadff53b06e532c7ee510. ■