Proofgold Term Root Disambiguation

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

as obj
2c68d..^binintersect

as prop
-

theory
HotG

stx
18c18..

address
TMLEt..^binintersect