Proofgold Asset

Param bb8e6.. : (ι → ι → ο) → ο
Param d478c.. : (ι → ι → ο) → (ι → ι → ο) → ι → ο
Param 32d20.. : ι
Param 6fe8d.. : (ι → ι → ο) → (ι → ι → ο) → (ι → ι → ο) → ι → ι → ο
Param 5c39b.. : ι → ι → ο
Param 6915e.. : ι
Known 9df63.. : ∀ x0 x1 : ι → ι → ο . ∀ x2 . 6fe8d.. x0 x1 5c39b.. x2 6915e.. ⟶ d478c.. x0 x1 x2
Known 7d6ad.. : ∀ x0 x1 x2 : ι → ι → ο . 6fe8d.. x0 x1 x2 32d20.. 6915e..
Theorem a1ac9.. : ∀ x0 x1 : ι → ι → ο . bb8e6.. x0 ⟶ bb8e6.. x1 ⟶ d478c.. x0 x1 32d20.. (proof)