Proofgold Term Root Disambiguation

RealsStruct real_struct

as obj
-

as prop
e87bd..

theory
HotG

stx
b9249..

address
TMFCx..