Proofgold Term Root Disambiguation

Inj1 = setsum 1

as obj
-

as prop
8272d..^{Inj1_pair_1_eq}

theory
HotG

stx
114a5..

address
TMPgP..^{Inj1_pair_1_eq}