Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add lemmas on divergent sequences #1304

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Add lemmas on divergent sequences #1304

wants to merge 13 commits into from

Commits on Sep 20, 2024

  1. Add-Lemma_not_near_ninftyP

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    a107d5d View commit details
    Browse the repository at this point in the history

  2. trying to exploit symmetry (tentative)

    @affeldt-aist
    affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    69fb23d View commit details
    Browse the repository at this point in the history

  3. don't need to distinguish P and f?

    @affeldt-aist
    affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    0a900e3 View commit details
    Browse the repository at this point in the history

  4. add_infty_lemmas

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    6fdacfd View commit details
    Browse the repository at this point in the history

  5. add_infty_lemmas

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    2ce3c7e View commit details
    Browse the repository at this point in the history

  6. add_infty_lemmas

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    869213d View commit details
    Browse the repository at this point in the history

  7. add_lemmas_not_near_infty

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    1bc15c5 View commit details
    Browse the repository at this point in the history

  8. add_lemmas_not_near_infty

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    660cfcc View commit details
    Browse the repository at this point in the history

  9. add_lemmas_not_near_infty

    @affeldt-aist
    amethyst authored and affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    74250b2 View commit details
    Browse the repository at this point in the history

  10. linting

    @affeldt-aist
    affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    bacfccd View commit details
    Browse the repository at this point in the history

  11. rm DS_store files

    @affeldt-aist
    affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    9b40b0a View commit details
    Browse the repository at this point in the history

  12. rm DS_Store file

    @affeldt-aist
    affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    ee46607 View commit details
    Browse the repository at this point in the history

  13. changelog fix

    @affeldt-aist
    affeldt-aist committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    4b1522d View commit details
    Browse the repository at this point in the history