Proofgold Term Root Disambiguation

λ x0 x1 x2 . and (and (divides_int x2 x0) (divides_int x2 x1)) (∀ x3 . divides_int x3 x0 ⟶ divides_int x3 x1 ⟶ SNoLe x3 x2)

as obj
5f692..^gcd_reln

as prop
-

theory
HotG

stx
e9e67..

address
TMGwX..^gcd_reln