Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u20, u15. The subproof is completed by applying unknownprop_5245e3a3c3ee6620a813736bf4eb5de53c89de5d8d032cfe0debc9762d766677. ■