Proofgold Term Root Disambiguation

Inj0 0 = 0

as obj
-

as prop
fc3ab..^Inj0_0

theory
HF

stx
a6670..

address
TMZe2..^Inj0_0