Proofgold Term Root Disambiguation

∀ 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

as obj
-

as prop
c3d94..

theory
HotG

stx
45402..

address
TMKnN..