Proofgold Term Root Disambiguation

as obj
-

as prop
44a1b..^{sqrt_2_irrational}

theory
HotG

stx
be867..

address
TMdka..^{sqrt_2_irrational}