Proofgold Term Root Disambiguation

∀ x0 x1 . Inj0 x0 = Inj0 x1 ⟶ x0 = x1

as obj
-

as prop
29f94..^Inj0_inj

theory
HotG

stx
114a5..

address
TMc3v..^Inj0_inj