Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x0 ⊆ x2 ⟶ x1 ⊆ x2 ⟶ binunion x0 x1 ⊆ x2

as obj
-

as prop
d64da..^{binunion_Subq_min}

theory
HotG

stx
18c18..

address
TMZ3U..^{binunion_Subq_min}