Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u17 ⟶ ∀ x1 . x1 ∈ u17 ⟶ TwoRamseyGraph_3_6_17 x0 x1 ⟶ 0aea9.. x0 x1

as obj
-

as prop
a0edc..

theory
HotG

stx
0e297..

address
TMamT..