Proofgold Object

λ x0 x1 : (((ι → ο) → ο) → ο) → ο . ∀ x2 : ο . (∀ x3 : ((ι → ο) → ο) → ο . and (x0 = a327b.. x3) (x1 x3) ⟶ x2) ⟶ x2

type
((((ι → ο) → ο) → ο) → ο) → ((((ι → ο) → ο) → ο) → ο) → ο

theory
HF

name
-

definition
PUXbj..

Megalodon
In_4

proofgold address
TMMBu..^In_4

creator
1478 PrGxv../f1661..

owner
1478 PrGxv../f1661..

term root
7b2ca..