Search for blocks/addresses/...
Proofgold Proof
pf
Assume H0:
Subq
(
4ae4a..
4a7ef..
)
4a7ef..
.
Apply unknownprop_fffc494ffce14e6bddbb5e647956584cb3fa6613074b40744fcd58ee021f0273.
Apply H0 with
4a7ef..
.
The subproof is completed by applying unknownprop_375af585d676cd889234cd20860ce45033e1ffceb375ac6277c1b1a2e16f15bd.
■