Proofgold Term Root Disambiguation

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

as obj
-

as prop
49afe..^Inj0_inj

theory
HF

stx
a6670..

address
TMP6d..^Inj0_inj