Nuprl Definition : in-cube-complex
in-cube-complex(k;p;cc) == let T,_,f,_ = cc in ∃t:T. p ∈ f t
Definitions occuring in Statement :
in-real-cube: p ∈ c,
spreadn: spread4,
exists: ∃x:A. B[x],
apply: f a
Definitions occuring in definition :
spreadn: spread4,
exists: ∃x:A. B[x],
in-real-cube: p ∈ c,
apply: f a
FDL editor aliases :
in-cube-complex
Latex:
in-cube-complex(k;p;cc) == let T,$_{}$,f,$_{}$ = cc in \mexists{}t:T\000C. p \mmember{} f t
Date html generated:
2019_10_30-AM-11_31_46
Last ObjectModification:
2019_09_30-AM-11_21_19
Theory : real!vectors
Home
Index