Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u11, u1.
The subproof is completed by applying unknownprop_da9cd2315b0ab3b3dbcd7c4069c6d07f8e8a7c3b5321d78acb9ddfea02c56e54.