Proofgold Object

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

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

theory
HotG

name
Church6_lt4p

definition
PUQF9..

Megalodon
-

proofgold address
TMd6Q..

creator
20350 Pr4zB../ad93d..

owner
20350 Pr4zB../ad93d..

term root
e99b6..