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