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