Proofgold Term Root Disambiguation

Inj1 = setsum 1

as obj
-

as prop
715b1..^{Inj1_pair_1_eq}

theory
HF

stx
cbc45..

address
TMR4t..^{Inj1_pair_1_eq}