Search for blocks/addresses/...

Proofgold Proof

pf
Apply nat_0_in_ordsucc with u23.
The subproof is completed by applying unknownprop_5a2415de7ce4ff7700953952ab57e066439372e1e8be58d2e9591f8d16f23b1d.