Proofgold Term Root Disambiguation

0 ∈ real

as obj
-

as prop
49313..^real_0

theory
HotG

stx
a9b67..

address
TMJW5..^real_0