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.
Let x4 of type ιιο be given.
Apply unknownprop_7a7bfe0e6bd35769c84e315cd82c07a0e8bb618c5c977f34fe8878be8b3d21f2 with 38265.. x0 x1 x2 x3 x4, x0, x1, x2, x3, x4.
Let x5 of type ιιο be given.
Assume H0: x5 (38265.. x0 x1 x2 x3 x4) (38265.. x0 x1 x2 x3 x4).
The subproof is completed by applying H0.