Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ⊆ binunion x0 x1

as obj
-

as prop
1507c..^{binunion_Subq_2}

theory
HotG

stx
18c18..

address
TMWp6..^{binunion_Subq_2}