Rational functions are continuous in its domain

Stream: new members

[Yuyuan (Lance) Ouyang]

Do we have any of the following calculus results in Mathlib?

1. Any rational function is continuous in its domain.
2. The different cases of the limit of a rational function when x approaches \infty or -\infty.

I tried leansearch and moogle but could not find them. Thanks!