Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsuccI1 with u21, u12. The subproof is completed by applying unknownprop_1bbf136618973e5f4445fb793209f51de4d96161851b534e8eb3f8c6fb5caa0e. ■