Proofgold Term Root Disambiguation

Inj0 = setsum 0

as obj
-

as prop
dfb4d..^{Inj0_pair_0_eq}

theory
HF

stx
cbc45..

address
TMPGt..^{Inj0_pair_0_eq}