Proofgold Term Root Disambiguation

Inj0 = setsum 0

as obj
-

as prop
490c2..^{Inj0_pair_0_eq}

theory
HotG

stx
114a5..

address
TMVm4..^{Inj0_pair_0_eq}