Proofgold Term Root Disambiguation

∀ x0 x1 . inj x1 (setsum x0 x1) Inj1

as obj
-

as prop
cad94..^inj_Inj1

theory
HF

stx
e311e..

address
TMbT6..^inj_Inj1