Proofgold Term Root Disambiguation

λ x0 x1 . binunion x0 (Sing x1)

as obj
5bdda..^SetAdjoin

as prop
-

theory
HotG

stx
18c18..

address
TMXya..^SetAdjoin