Search for blocks/addresses/...
Proofgold Proof
pf
Assume H0:
236c6..
=
6915e..
.
Apply unknownprop_72aa27d3b3e4d7983fc8b7d5f502eb77af6606394c5a828f035e5bab238fe78c with
λ x0 x1 .
x1
.
The subproof is completed by applying H0.
■