Proofgold Object

λ x0 : (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → ο . and (and (and (and (and (and (and (and (and (x0 Church10_0) (x0 Church10_1)) (x0 Church10_2)) (x0 Church10_3)) (x0 Church10_4)) (x0 Church10_5)) (x0 Church10_6)) (x0 Church10_7)) (x0 Church10_8)) (x0 Church10_9)

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

theory
HotG

name
Church10_forall

definition
PUQ1Y..

Megalodon
-

proofgold address
TMHNs..

creator
9309 PrGxv../3cbc2..

owner
9309 PrGxv../3cbc2..

term root
a8d4c..