Proofgold Term Root Disambiguation

λ x0 x1 . {x2 ∈ x0|nIn x2 x1}

as obj
913da..^setminus

as prop
-

theory
HotG

stx
18c18..

address
TMHxJ..^setminus