Proofgold Term Root Disambiguation

∀ x0 x1 . Inj1 x0 = Inj1 x1 ⟶ x0 = x1

as obj
-

as prop
0139a..^Inj1_inj

theory
HF

stx
a6670..

address
TMdB8..^Inj1_inj