Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x0 ⊆ real ⟶ x1 ⊆ real ⟶ x2 ∈ real ⟶ SNo_sqrtauxset x0 x1 x2 ⊆ real

as obj
-

as prop
d040c..^{SNo_sqrtauxset_real}

theory
HotG

stx
be867..

address
TMc9w..^{SNo_sqrtauxset_real}