Proofgold Object

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

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

theory
HotG

name
Church10_forall2_lt

definition
PUQ1Y..

Megalodon
-

proofgold address
TMUq5..

creator
9309 PrGxv../19af6..

owner
9309 PrGxv../19af6..

term root
e79a2..