Nuprl Definition : matrix
Matrix(n;m;r) == ℕn ⟶ ℕm ⟶ |r|
Definitions occuring in Statement :
int_seg: {i..j-},
function: x:A ⟶ B[x],
natural_number: $n,
rng_car: |r|
Definitions occuring in definition :
function: x:A ⟶ B[x],
int_seg: {i..j-},
natural_number: $n,
rng_car: |r|
FDL editor aliases :
matrix
Latex:
Matrix(n;m;r) == \mBbbN{}n {}\mrightarrow{} \mBbbN{}m {}\mrightarrow{} |r|
Date html generated:
2018_05_21-PM-09_33_59
Last ObjectModification:
2017_12_11-PM-00_29_18
Theory : matrices
Home
Index