Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . 0 ∈ x3 ⟶ x2 ⊆ x3 ⟶ x0 ⊆ x1 ⟶ setexp x2 x0 ⊆ setexp x3 x1

as obj
-

as prop
90c50..^setexp_0_mon

theory
HotG

stx
d9726..

address
TMSVK..^setexp_0_mon