Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (SetAdjoin x0 x1)

as obj
-

as prop
163d4..^SetAdjoinI2

theory
HF

stx
8964b..

address
TMWy2..^SetAdjoinI2