Proofgold Term Root Disambiguation

λ x0 x1 x2 x3 . TwoRamseyGraph_4_6_Church6_squared_a (nth_6_tuple x0) (nth_6_tuple x1) (nth_6_tuple x2) (nth_6_tuple x3) = λ x5 x6 . x5

as obj
97daf..

as prop
-

theory
HotG

stx
ef810..

address
TMGKQ..