Nuprl Definition : cauchy-mlimit

cauchy-mlimit(cmplt;x;c) ==  fst((cmplt x c))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  pi1: fst(t),  apply: f a
FDL editor aliases :  cauchy-mlimit
Latex:
cauchy-mlimit(cmplt;x;c)  ==    fst((cmplt  x  c))


Date html generated: 2019_10_30-AM-06_42_30
Last ObjectModification: 2019_10_02-AM-10_55_01

Theory : reals


Home Index