Proofgold Term Root Disambiguation

∀ x0 x1 . binintersect x0 x1 ⊆ x0

as obj
-

as prop
30383..^{binintersect_Subq_1}

theory
HotG

stx
18c18..

address
TMHYo..^{binintersect_Subq_1}