Search for blocks/addresses/...

Proofgold Proof

pf
Let x0 of type ι be given.
Let x1 of type ι be given.
Assume H0: ba9d8.. x1.
Apply unknownprop_46bb5d14419d834f7f6ff0447d3e93922817af097d1ff9b4e7dbf66368255a0d with 4a7ef.., λ x2 x3 . 616bf.. x0 x3, x1.
The subproof is completed by applying H0.