Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u12, 0. The subproof is completed by applying unknownprop_c9b4e12fb0aac9a865933938cbf5882f899389d7530b1a6017a25523b517d77b. ■