Search for blocks/addresses/...

Proofgold Proof

pf
Apply nat_ordsucc with u30. The subproof is completed by applying unknownprop_18e90a1c9e5d1a2f9712563813c3b99c451e17d7e45a6309a88f3e56013df4c7. ■