Proofgold Term Root Disambiguation

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

as obj
-

as prop
f52b8..^Unj_eq

theory
HF

stx
a6670..

address
TMTKq..^Unj_eq