Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_sqrtauxset_real

proof
PUTdS..

Megalodon
SNo_sqrtauxset_real

proofgold address
TMSH7..^{SNo_sqrtauxset_real}

creator
27893 PrQUS../ee91c..

owner
27893 PrQUS../ee91c..

term root
5d5b3..