Proofgold Term Root Disambiguation

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

as obj
cc83a..

as prop
-

theory
HotG

stx
4cd19..

address
TMWFB..