Proofgold Term Root Disambiguation

∀ x0 x1 . setminus x0 x1 ⊆ x0

as obj
-

as prop
66f98..^{setminus_Subq}

theory
HotG

stx
18c18..

address
TMZpk..^{setminus_Subq}