Proofgold Term Root Disambiguation

∀ x0 . TransSet (prim6 x0)

as obj
-

as prop
cf4f5..^{UnivOf_TransSet}

theory
HotG

stx
cde1e..

address
TMPFn..^{UnivOf_TransSet}