Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u17 ⟶ ∀ x1 . x1 ∈ u17 ⟶ TwoRamseyGraph_3_6_Church17 (u17_to_Church17 x0) (u17_to_Church17 x1) = 94591.. (55574.. x0) (55574.. x1)

as obj
-

as prop
874a1..

theory
HotG

stx
0e297..

address
TMKiJ..