| cfa90.. ⟶ ∀ x0 : (((ι → ο) → ο) → ο) → (((ι → ο) → ο) → ο) → ο . (∀ x1 : ((ι → ο) → ο) → ο . ∀ x2 : ο . (∀ x3 : ((ι → ο) → ο) → ο . x0 x1 x3 ⟶ x2) ⟶ x2) ⟶ ∀ x1 : ο . (∀ x2 : (((ι → ο) → ο) → ο) → ((ι → ο) → ο) → ο . (∀ x3 : ((ι → ο) → ο) → ο . x0 x3 (x2 x3)) ⟶ x1) ⟶ x1 |
|