Proofgold Term Root Disambiguation

as obj
-

as prop
64d60..^{CRing_with_id_omega_exp_0}

theory
HotG

stx
339e9..

address
TMKBt..^{CRing_with_id_omega_exp_0}