Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 ⟶ inj x0 x1 (λ x2 . x2)

as obj
-

as prop
9da0d..^inj_incl

theory
HF

stx
e311e..

address
TMXQL..^inj_incl