Proofgold Proposition

∀ x0 : (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → ο . x0 Church10_0 Church10_0 ⟶ x0 Church10_0 Church10_1 ⟶ x0 Church10_0 Church10_2 ⟶ x0 Church10_0 Church10_3 ⟶ x0 Church10_0 Church10_4 ⟶ x0 Church10_0 Church10_5 ⟶ x0 Church10_0 Church10_6 ⟶ x0 Church10_0 Church10_7 ⟶ x0 Church10_0 Church10_8 ⟶ x0 Church10_0 Church10_9 ⟶ x0 Church10_1 Church10_0 ⟶ x0 Church10_1 Church10_1 ⟶ x0 Church10_1 Church10_2 ⟶ x0 Church10_1 Church10_3 ⟶ x0 Church10_1 Church10_4 ⟶ x0 Church10_1 Church10_5 ⟶ x0 Church10_1 Church10_6 ⟶ x0 Church10_1 Church10_7 ⟶ x0 Church10_1 Church10_8 ⟶ x0 Church10_1 Church10_9 ⟶ x0 Church10_2 Church10_0 ⟶ x0 Church10_2 Church10_1 ⟶ x0 Church10_2 Church10_2 ⟶ x0 Church10_2 Church10_3 ⟶ x0 Church10_2 Church10_4 ⟶ x0 Church10_2 Church10_5 ⟶ x0 Church10_2 Church10_6 ⟶ x0 Church10_2 Church10_7 ⟶ x0 Church10_2 Church10_8 ⟶ x0 Church10_2 Church10_9 ⟶ x0 Church10_3 Church10_0 ⟶ x0 Church10_3 Church10_1 ⟶ x0 Church10_3 Church10_2 ⟶ x0 Church10_3 Church10_3 ⟶ x0 Church10_3 Church10_4 ⟶ x0 Church10_3 Church10_5 ⟶ x0 Church10_3 Church10_6 ⟶ x0 Church10_3 Church10_7 ⟶ x0 Church10_3 Church10_8 ⟶ x0 Church10_3 Church10_9 ⟶ x0 Church10_4 Church10_0 ⟶ x0 Church10_4 Church10_1 ⟶ x0 Church10_4 Church10_2 ⟶ x0 Church10_4 Church10_3 ⟶ x0 Church10_4 Church10_4 ⟶ x0 Church10_4 Church10_5 ⟶ x0 Church10_4 Church10_6 ⟶ x0 Church10_4 Church10_7 ⟶ x0 Church10_4 Church10_8 ⟶ x0 Church10_4 Church10_9 ⟶ x0 Church10_5 Church10_0 ⟶ x0 Church10_5 Church10_1 ⟶ x0 Church10_5 Church10_2 ⟶ x0 Church10_5 Church10_3 ⟶ x0 Church10_5 Church10_4 ⟶ x0 Church10_5 Church10_5 ⟶ x0 Church10_5 Church10_6 ⟶ x0 Church10_5 Church10_7 ⟶ x0 Church10_5 Church10_8 ⟶ x0 Church10_5 Church10_9 ⟶ x0 Church10_6 Church10_0 ⟶ x0 Church10_6 Church10_1 ⟶ x0 Church10_6 Church10_2 ⟶ x0 Church10_6 Church10_3 ⟶ x0 Church10_6 Church10_4 ⟶ x0 Church10_6 Church10_5 ⟶ x0 Church10_6 Church10_6 ⟶ x0 Church10_6 Church10_7 ⟶ x0 Church10_6 Church10_8 ⟶ x0 Church10_6 Church10_9 ⟶ x0 Church10_7 Church10_0 ⟶ x0 Church10_7 Church10_1 ⟶ x0 Church10_7 Church10_2 ⟶ x0 Church10_7 Church10_3 ⟶ x0 Church10_7 Church10_4 ⟶ x0 Church10_7 Church10_5 ⟶ x0 Church10_7 Church10_6 ⟶ x0 Church10_7 Church10_7 ⟶ x0 Church10_7 Church10_8 ⟶ x0 Church10_7 Church10_9 ⟶ x0 Church10_8 Church10_0 ⟶ x0 Church10_8 Church10_1 ⟶ x0 Church10_8 Church10_2 ⟶ x0 Church10_8 Church10_3 ⟶ x0 Church10_8 Church10_4 ⟶ x0 Church10_8 Church10_5 ⟶ x0 Church10_8 Church10_6 ⟶ x0 Church10_8 Church10_7 ⟶ x0 Church10_8 Church10_8 ⟶ x0 Church10_8 Church10_9 ⟶ x0 Church10_9 Church10_0 ⟶ x0 Church10_9 Church10_1 ⟶ x0 Church10_9 Church10_2 ⟶ x0 Church10_9 Church10_3 ⟶ x0 Church10_9 Church10_4 ⟶ x0 Church10_9 Church10_5 ⟶ x0 Church10_9 Church10_6 ⟶ x0 Church10_9 Church10_7 ⟶ x0 Church10_9 Church10_8 ⟶ x0 Church10_9 Church10_9 ⟶ Church10_forall (λ x1 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church10_forall (x0 x1))

type
prop

theory
HotG

name
-

proof
PUQ1Y..

Megalodon
-

proofgold address
TMS6X..

creator
9309 PrGxv../8f720..

owner
9309 PrGxv../8f720..

term root
59bdf..