Search for blocks/addresses/...
Proofgold Proof
pf
The subproof is completed by applying Subq_ref with
4ae4a..
(
4ae4a..
4a7ef..
)
.
■