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