Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u12, u6. The subproof is completed by applying unknownprop_3de237895f633cd0c01630052cea1ce37b395b2138c60358b21cdd63976e7e77. ■