Nuprl Definition : real*
ℝ* == ℕ ⟶ ℝ
Definitions occuring in Statement :
real: ℝ,
nat: ℕ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x],
nat: ℕ,
real: ℝ
FDL editor aliases :
real*
Latex:
\mBbbR{}* == \mBbbN{} {}\mrightarrow{} \mBbbR{}
Date html generated:
2018_05_22-PM-03_13_26
Last ObjectModification:
2017_10_06-PM-01_49_33
Theory : reals_2
Home
Index