Proofgold Term Root Disambiguation

as obj
-

as prop
56dde..^{CRing_with_id_explicit_CRing_with_id}

theory
HotG

stx
339e9..

address
TMVhX..^{CRing_with_id_explicit_CRing_with_id}