Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Inj0 x0) ⟶ ∃ x2 . and (In x2 x0) (x1 = Inj1 x2)

as obj
-

as prop
0e45c..^Inj0E

theory
HF

stx
a6670..

address
TMaJw..^Inj0E