Proofgold Term Root Disambiguation

λ x0 x1 . and (and (x0 ∈ int_alt1) (x1 ∈ int_alt1)) (∀ x2 . x2 ∈ setminus omega 1 ⟶ divides_int_alt1 x2 x0 ⟶ divides_int_alt1 x2 x1 ⟶ x2 = 1)

as obj
76fc5..^coprime_int

as prop
-

theory
HotG

stx
3b6f0..

address
TMRPb..^coprime_int