Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ∈ x0 ⟶ Inj1 x1 ∈ Inj1 x0

as obj
-

as prop
08647..^Inj1I2

theory
HotG

stx
114a5..

address
TMZjK..^Inj1I2