Search for blocks/addresses/...
Proofgold Proof
pf
Apply omega_ordsucc with
3
.
The subproof is completed by applying unknownprop_d1fb7ede3a04ac9e8e9995405db0b8222b04c11dbf3c24e42cd9f927bfd75781.
■