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