Zulip Chat Archive
Stream: new members
Topic: Rational functions are continuous in its domain
Yuyuan (Lance) Ouyang (Oct 25 2024 at 17:06):
Do we have any of the following calculus results in Mathlib?
- Any rational function is continuous in its domain.
- 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!
Last updated: May 02 2025 at 03:31 UTC