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: Abel's limit theorem #10000

Closed
wants to merge 24 commits into from
Closed

[Merged by Bors] - feat: Abel's limit theorem #10000

wants to merge 24 commits into from

Commits on Jan 25, 2024

  1. feat: Abel's limit theorem

    @Parcly-Taxel
    Parcly-Taxel committed Jan 25, 2024
    1 Configuration menu
    Copy the full SHA
    ceaa3f6 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    9b31da5 View commit details
    Browse the repository at this point in the history

  2. Rehash

    @Parcly-Taxel
    Parcly-Taxel committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    8ccda90 View commit details
    Browse the repository at this point in the history

  3. Update AbelLimit.lean

    @Parcly-Taxel
    Parcly-Taxel committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    a3754d7 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2024

  1. Real case

    @Parcly-Taxel
    Parcly-Taxel committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    7ff38e8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'abellimit' of github.com:leanprover-community/mathlib4 … 

    …into abellimit
    @Parcly-Taxel
    Parcly-Taxel committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    d91a54d View commit details
    Browse the repository at this point in the history

  3. The Unreal Engine

    @Parcly-Taxel
    Parcly-Taxel committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    b4eed13 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    5d44ba1 View commit details
    Browse the repository at this point in the history

  5. Update Mathlib/Analysis/Complex/AbelLimit.lean 

    Co-authored-by: Michael Stoll <99838730+MichaelStollBayreuth@users.noreply.github.com>
    @Parcly-Taxel @MichaelStollBayreuth
    Parcly-Taxel and MichaelStollBayreuth committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    e3f083c View commit details
    Browse the repository at this point in the history

  6. Update AbelLimit.lean

    @Parcly-Taxel
    Parcly-Taxel committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    09860ac View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Michael Stoll <99838730+MichaelStollBayreuth@users.noreply.github.com>
    @Parcly-Taxel @MichaelStollBayreuth
    Parcly-Taxel and MichaelStollBayreuth committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    6c3ede9 View commit details
    Browse the repository at this point in the history

  2. refine'

    @Parcly-Taxel
    Parcly-Taxel committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    59826fe View commit details
    Browse the repository at this point in the history

  3. defeq

    @Parcly-Taxel
    Parcly-Taxel committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    f9a8baf View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    419e8f8 View commit details
    Browse the repository at this point in the history

  2. The rest

    @Parcly-Taxel
    Parcly-Taxel committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    31cb024 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    1fe08f0 View commit details
    Browse the repository at this point in the history

  4. Da

    @Parcly-Taxel
    Parcly-Taxel committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    55d46c3 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2024

  1. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    74a1748 View commit details
    Browse the repository at this point in the history

  2. Move h into theorems

    @Parcly-Taxel
    Parcly-Taxel committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    8af1528 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    81a4854 View commit details
    Browse the repository at this point in the history

  2. Switch to cones

    @Parcly-Taxel
    Parcly-Taxel committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    a6d5ba2 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. Merge branch 'master' into abellimit

    @Parcly-Taxel
    Parcly-Taxel committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    14f3359 View commit details
    Browse the repository at this point in the history

  2. Other definitions exist 

    Co-authored-by: Michael Stoll <Michael.Stoll@uni-bayreuth.de>
    @Parcly-Taxel @MichaelStollBayreuth
    Parcly-Taxel and MichaelStollBayreuth committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    48ccfbd View commit details
    Browse the repository at this point in the history

  3. Update Basic.lean

    @Parcly-Taxel
    Parcly-Taxel committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    6294460 View commit details
    Browse the repository at this point in the history