Proofgold Term Root Disambiguation

∀ x0 . In 0 (Inj1 x0)

as obj
-

as prop
8d83e..^Inj1I1

theory
HF

stx
a6670..

address
TMUdz..^Inj1I1