Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_95043111ebf5d0ba1e3a3dbcd59c8bdd5982670104cfa28d6d14c737e5bfd1d7 with
4a7ef..
,
λ x0 x1 .
x1
=
4a7ef..
.
The subproof is completed by applying unknownprop_b28cc188f8a4b4b04f2650d497cfb7b037b6dc06850ad64a10472fb99bf8c330.
■