Proofgold Term Root Disambiguation

In 3 9

as obj
-

as prop
c585f..^In_3_9

theory
HF

stx
0d78c..

address
TMZEV..^In_3_9