Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 = (binunion x0 x1 = x1)

as obj
-

as prop
69c3f..^{Subq_binunion_eq}

theory
HF

stx
cb38c..

address
TMYYJ..^{Subq_binunion_eq}