Proofgold Term Root Disambiguation

∀ x0 . not (Inj1 x0 = 0)

as obj
-

as prop
a1706..^Inj1NE1

theory
HF

stx
a6670..

address
TMMQP..^Inj1NE1