Nuprl Definition : rmatrix
ℝ(a × b) == ℕa ⟶ ℕb ⟶ ℝ
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 :
rmatrix
Latex:
\mBbbR{}(a \mtimes{} b) == \mBbbN{}a {}\mrightarrow{} \mBbbN{}b {}\mrightarrow{} \mBbbR{}
Date html generated:
2019_10_30-AM-08_10_38
Last ObjectModification:
2019_09_18-PM-06_42_11
Theory : reals
Home
Index