Proofgold Proof

pf
Let x0 of type ((ι → ο) → ο) → ο be given. Let x1 of type ((ι → ο) → ο) → ο be given. Assume H0: e6217.. x0 x1. Apply unknownprop_860039d2ec19a41a6f561897e6fb149ac601200fd0465ddfc2baf966518a33cc with x0, a327b.. x1. The subproof is completed by applying H0. ■