leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

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?

  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!


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll