Proofgold Term Root Disambiguation

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

as obj
-

as prop
81c90..^inj_Inj0

theory
HF

stx
e311e..

address
TMRPg..^inj_Inj0