Search for blocks/addresses/...

Proofgold Proof

pf
Apply unknownprop_95043111ebf5d0ba1e3a3dbcd59c8bdd5982670104cfa28d6d14c737e5bfd1d7 with 4a7ef.., λ x0 x1 . x1 = 4a7ef...
The subproof is completed by applying unknownprop_b28cc188f8a4b4b04f2650d497cfb7b037b6dc06850ad64a10472fb99bf8c330.