Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x1 ⊆ x2 ⟶ setprod x0 x1 ⊆ setprod x0 x2

as obj
-

as prop
a90d3..^setprod_mon1

theory
HotG

stx
d9726..

address
TMSny..^setprod_mon1