Search for blocks/addresses/...

Proofgold Proof

pf
Let x0 of type ι be given.
Let x1 of type ι be given.
Let x2 of type ιιο be given.
Let x3 of type ιο be given.
Assume H0: x0 = 42836.. x1 x2 x3.
Apply H0 with λ x4 x5 . x1 = f482f.. x5 4a7ef...
Let x4 of type ιιο be given.
The subproof is completed by applying unknownprop_c6edfe304716447202fa4e847b9eb9d6f1ad651728e21f6781503da40cd9117f with x1, d2155.. x1 x2, 1216a.. x1 x3, λ x5 x6 . x4 x6 x5.