| λ x0 . ∀ x1 : ι → ο . x1 c4def.. ⟶ (∀ x2 x3 . x1 x2 ⟶ x1 x3 ⟶ x1 (6b90c.. x2 x3)) ⟶ x1 c9248.. ⟶ (∀ x2 . x1 x2 ⟶ x1 (a6e19.. x2)) ⟶ (∀ x2 . x1 x2 ⟶ x1 (2fe34.. x2)) ⟶ (∀ x2 x3 . x1 x2 ⟶ x1 x3 ⟶ x1 (3e00e.. x2 x3)) ⟶ (∀ x2 x3 . x1 x2 ⟶ x1 x3 ⟶ x1 (f9341.. x2 x3)) ⟶ (∀ x2 . x1 x2 ⟶ x1 (1fa6d.. x2)) ⟶ (∀ x2 . x1 x2 ⟶ x1 (3a365.. x2)) ⟶ x1 x0 |
|