Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ binunion x0 x1

as obj
-

as prop
a9b3a..^{binunion_Subq_1}

theory
HotG

stx
18c18..

address
TMNMi..^{binunion_Subq_1}