Proofgold Term Root Disambiguation

(∀ x0 . x0 ∈ u17 ⟶ Church17_p (u17_to_Church17_buggy x0)) ⟶ ∀ x0 x1 . TwoRamseyGraph_3_6_17_buggy x0 x1 ⟶ TwoRamseyGraph_3_6_17_buggy x1 x0

as obj
-

as prop
6fbda..

theory
HotG

stx
4cd19..

address
TMQGc..