Proofgold Term Root Disambiguation

λ x0 x1 . gcd_reln x0 x1 1

as obj
3b248..

as prop
-

theory
HotG

stx
e9e67..

address
TMVJk..