Proofgold Term Root Disambiguation

λ x0 x1 x2 x3 . x0 ∈ u6 ⟶ x1 ∈ u6 ⟶ x2 ∈ u6 ⟶ x3 ∈ u6 ⟶ TwoRamseyGraph_4_6_Church6_squared_b (nth_6_tuple x0) (nth_6_tuple x1) (nth_6_tuple x2) (nth_6_tuple x3) = λ x5 x6 . x5

as obj
32c58..

as prop
-

theory
HotG

stx
c2580..

address
TMZKF..