Commit 2024-06-17 22:37 72d08e5f

View on Github →

feat(NumberTheory/PrimeCounting): Lemma: The nth prime is greater or equal n + 2. (#13283) Possibly useful lemma about the nth prime number. 52843868+Komyyy@users.noreply.github.com

<!-- The text above the `---` will become the commit message when your PR is merged. Please leave a blank newline before the `---`, otherwise GitHub will format the text above it as a title. To indicate co-authors, include lines at the bottom of the commit message (that is, before the `---`) using the following format: Any other comments you want to keep out of the PR commit should go below the `---`, and placed outside this HTML comment, or else they will be invisible to reviewers. If this PR depends on other PRs, please list them below this comment, using the following format: - [ ] depends on: #abc [optional extra text] - [ ] depends on: #xyz [optional extra text] -->

Open in
Gitpod

Estimated changes