Proofgold Term Root Disambiguation

as obj
-

as prop
8d570..^{Field_of_RealsStruct_is_CRing}

theory
HotG

stx
0f4f5..

address
TMRwf..^{Field_of_RealsStruct_is_CRing}