Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u14, 0. The subproof is completed by applying unknownprop_786d05e7abced1a9dc9d53bbc0ccf61863e522b5215ae9f11752fff2bf124321. ■