Search for blocks/addresses/...
Proofgold Proof
pf
Assume H0:
empty_p
48ef8..
.
Apply H0 with
4a7ef..
.
The subproof is completed by applying unknownprop_f809b902583dacba413959fe07b21224d4e73a721dc40d1113b446998d75c82c.
■