(*#* The function [f] is continuous at [p] if the limit of [f(x)] as
[x] goes to [p] is [f(p)]. This is the [eps [/] delta] definition.
We also give the definition with limits of Cauchy sequences.
*)
(*#* The function [f] is continuous at [p] if the limit of [f(x)] as
[x] goes to [p] is [f(p)]. This is the [eps [/] delta] definition.
We also give the definition with limits of Cauchy sequences.
*)
(*#*
Continuous on a closed, resp.%\% open, resp.%\% left open, resp.%\% left closed
interval *)
(*#*
Continuous on a closed, resp.%\% open, resp.%\% left open, resp.%\% left closed
interval *)