Search for blocks/addresses/...
Proofgold Proof
pf
Assume H0:
empty_p
omega
.
Apply H0 with
0
.
The subproof is completed by applying unknownprop_87d981ec36961a0324ea5d0962fa0689e652a1a367082910c100751340d2d034.
■