Nuprl Definition : real-vec
ℝ^n == ℕn ⟶ ℝ
Definitions occuring in Statement :
real: ℝ,
int_seg: {i..j-},
function: x:A ⟶ B[x],
natural_number: $n
Definitions occuring in definition :
function: x:A ⟶ B[x],
int_seg: {i..j-},
natural_number: $n,
real: ℝ
FDL editor aliases :
real-vec
Latex:
\mBbbR{}\^{}n == \mBbbN{}n {}\mrightarrow{} \mBbbR{}
Date html generated:
2016_05_18-AM-09_44_32
Last ObjectModification:
2015_09_23-AM-09_12_41
Theory : reals
Home
Index