Proofgold Proposition

∀ x0 x1 x2 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_lt8 x0 ⟶ Church17_lt8 x1 ⟶ Church17_lt8 x2 ⟶ (TwoRamseyGraph_3_6_Church17 x0 x1 = λ x4 x5 . x5) ⟶ (TwoRamseyGraph_3_6_Church17 x0 x2 = λ x4 x5 . x5) ⟶ (TwoRamseyGraph_3_6_Church17 x1 x2 = λ x4 x5 . x5) ⟶ ∀ x3 : ο . (84660.. x0 ⟶ x3) ⟶ (84660.. x1 ⟶ x3) ⟶ (84660.. x2 ⟶ x3) ⟶ x3

type
prop

theory
HotG

name
-

proof
PUZLv..

Megalodon
-

proofgold address
TMZG1..

creator
31367 Pr4zB../63bd9..

owner
31367 Pr4zB../63bd9..

term root
61ddd..