Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u18, u11. The subproof is completed by applying unknownprop_da971a7415a7263658d47e8afc4b6794d759a8c7957d4366d64b0d2d75db1ebf. ■