Proofgold Term Root Disambiguation

as obj
-

as prop
e157b..^{CRing_with_id_is_Ring_with_id}

theory
HotG

stx
30095..

address
TMUZN..^{CRing_with_id_is_Ring_with_id}