Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u16, u12. The subproof is completed by applying unknownprop_0c2339ef07f9be63916ba4ed21f5ed3d1c0fc25d2883650f1a08db958e637e32. ■