Description: If the left and the right limits are equal, the limit of the function exits and the three limits coincide. (Contributed by Glauco Siliprandi, 11-Dec-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | limcleqr.k | |
|
limcleqr.a | |
||
limcleqr.j | |
||
limcleqr.f | |
||
limcleqr.b | |
||
limcleqr.l | |
||
limcleqr.r | |
||
limcleqr.leqr | |
||
Assertion | limcleqr | |