Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u12, u8. The subproof is completed by applying unknownprop_405ba169154d9d42445b73345355e3c1ff4a4c35ee248b0842bd8e1a26057bf4. ■