Proofgold Term Root Disambiguation

∀ x0 x1 x2 . gcd_reln x0 x1 x2 ⟶ gcd_reln x1 x0 x2

as obj
-

as prop
ac8b6..^gcd_sym

theory
HotG

stx
e9e67..

address
TMZE9..^gcd_sym