Proofgold Term Root Disambiguation

λ x0 x1 . x0 ∈ u17 ⟶ x1 ∈ u17 ⟶ TwoRamseyGraph_3_6_Church17 (u17_to_Church17 x0) (u17_to_Church17 x1) = λ x3 x4 . x3

as obj
70880..

as prop
-

theory
HotG

stx
f13be..

address
TMM1X..