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