Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 = (binintersect x0 x1 = x0)

as obj
-

as prop
33cf2..^{Subq_binintersection_eq}

theory
HotG

stx
18c18..

address
TMS6V..^{Subq_binintersection_eq}