Proofgold Term Root Disambiguation

∀ x0 x1 . binintersect x0 x1 ⊆ x1

as obj
-

as prop
8b9fd..^{binintersect_Subq_2}

theory
HotG

stx
18c18..

address
TMdHZ..^{binintersect_Subq_2}