Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u18, u12. The subproof is completed by applying unknownprop_3f4bdda365f7082eb6568cc69821ad4bf647cdd91bb2b4891b334f887b101966. ■