Proofgold Term Root Disambiguation

In_rec_i (λ x0 . prim5 (setminus x0 (Sing 0)))

as obj
2e167..^Unj

as prop
-

theory
HotG

stx
114a5..

address
TMWjs..^Unj