Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u12, u11. The subproof is completed by applying unknownprop_dd600363d78f5191d99ddf5f03f668be69bef6f49770dc87b299c981791e709b. ■