Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PULXW..

Megalodon
-

proofgold address
TMJyf..

creator
20906 Pr4zB../1326b..

owner
20906 Pr4zB../1326b..

term root
b54b6..