Proofgold Term Root Disambiguation

∀ x0 . Unj x0 = prim5 (setminus x0 (Sing 0)) Unj

as obj
-

as prop
b4c85..^Unj_eq

theory
HotG

stx
114a5..

address
TMUzG..^Unj_eq