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

[Merged by Bors] - feat(Analysis/PSeries): some summability results #11150

Closed
wants to merge 21 commits into from
Closed

[Merged by Bors] - feat(Analysis/PSeries): some summability results #11150

wants to merge 21 commits into from

Commits on Mar 5, 2024

  1. feat(InfiniteSum/NatInt): some lemmas on sums over Int

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2d33bfd View commit details
    Browse the repository at this point in the history

  2. docstrings

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    e59aac7 View commit details
    Browse the repository at this point in the history

  3. more

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    5894fb3 View commit details
    Browse the repository at this point in the history

  4. finish overhauling

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    bc61c7f View commit details
    Browse the repository at this point in the history

  5. squeeze some slow simps

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    9ff8aae View commit details
    Browse the repository at this point in the history

  6. cascade renamings

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    d4f8fe1 View commit details
    Browse the repository at this point in the history

  7. fixes for 4.7.0

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    5d5cd7e View commit details
    Browse the repository at this point in the history

  8. feat(Analysis/PSeries): some summability results

    @loefflerd
    loefflerd committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    e875799 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Merge branch 'master' into DL_nat_int_sums

    @loefflerd
    loefflerd committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    6e03b84 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/DL_nat_int_sums' into DL_tsum_in… 

    …t_rpow
    @loefflerd
    loefflerd committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    57ac877 View commit details
    Browse the repository at this point in the history

  3. fix merge

    @loefflerd
    loefflerd committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    5d624a2 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2024

  1. add clarification comment

    @loefflerd
    loefflerd committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    6a92468 View commit details
    Browse the repository at this point in the history

  2. rename type variables

    @loefflerd
    loefflerd committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    85cf5a9 View commit details
    Browse the repository at this point in the history

  3. cleanup

    @loefflerd
    loefflerd committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    617f213 View commit details
    Browse the repository at this point in the history

  4. fix stirling

    @loefflerd
    loefflerd committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    967097a View commit details
    Browse the repository at this point in the history

  5. Merge branch 'DL_nat_int_sums' into DL_tsum_int_rpow

    @loefflerd
    loefflerd committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    984b3d3 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. golf scruffy proof

    @loefflerd
    loefflerd committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    5d444da View commit details
    Browse the repository at this point in the history

  2. Use -(n + 1) instead of Int.negSucc

    @loefflerd
    loefflerd committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    33b4f5c View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. Merge branch 'DL_nat_int_sums' into DL_tsum_int_rpow

    @loefflerd
    loefflerd committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    e7692fe View commit details
    Browse the repository at this point in the history

  2. merge fix

    @loefflerd
    loefflerd committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    d29db0b View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into DL_tsum_int_rpow

    @loefflerd
    loefflerd committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    e5ab873 View commit details
    Browse the repository at this point in the history