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