Proofgold Object

λ x0 : ((ι → ι) → ι → ι) → ((ι → ι) → ι → ι) → ((ι → ι) → ι → ι) → (ι → ι) → ι → ι . ∀ x1 : (((ι → ι) → ι → ι) → ((ι → ι) → ι → ι) → ((ι → ι) → ι → ι) → (ι → ι) → ι → ι) → ο . x1 (λ x2 x3 x4 : (ι → ι) → ι → ι . x2) ⟶ x1 (λ x2 x3 x4 : (ι → ι) → ι → ι . x3) ⟶ x1 (λ x2 x3 x4 : (ι → ι) → ι → ι . x4) ⟶ x1 x0

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

theory
HotG

name
ChurchNum_3ary_proj_p

definition
PUVpr..

Megalodon
-

proofgold address
TMFQu..

creator
18372 Pr4zB../0a49f..

owner
18372 Pr4zB../0a49f..

term root
7456b..