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

feat(NumberTheory/NumberField): proof of the Analytic Class Number Formula #17914

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

feat(NumberTheory/NumberField): proof of the Analytic Class Number Formula #17914

wants to merge 15 commits into from

Commits on Oct 18, 2024

  1. 1st commit

    @xroblot
    xroblot committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    aa348f4 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    b8169c2 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    2bcf2fa View commit details
    Browse the repository at this point in the history

  2. Fix after merge

    @xroblot
    xroblot committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    0dc4ddb View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2024

  1. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    95a58da View commit details
    Browse the repository at this point in the history

  2. Fix after merge

    @xroblot
    xroblot committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    0661e20 View commit details
    Browse the repository at this point in the history

  3. Update Mathlib/Analysis/SpecialFunctions/PolarCoord.lean 

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    @xroblot @github-actions
    xroblot and github-actions[bot] authored Oct 26, 2024
    Configuration menu
    Copy the full SHA
    d6b3f8d View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    eae7550 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    8a4ee70 View commit details
    Browse the repository at this point in the history

  3. Clean up after merge

    @xroblot
    xroblot committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    4266dda View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    13b366f View commit details
    Browse the repository at this point in the history

  2. Fix after merge

    @xroblot
    xroblot committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    54d6050 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. Merge remote-tracking branch 'origin/master' into xfr-acnf

    @xroblot
    xroblot committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    9de289e View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. Fix

    @xroblot
    xroblot committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4977751 View commit details
    Browse the repository at this point in the history

  2. More fixes

    @xroblot
    xroblot committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    877b6f4 View commit details
    Browse the repository at this point in the history