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

feat(FieldTheory/Galois): Lemmas of galois theory #16979

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

feat(FieldTheory/Galois): Lemmas of galois theory #16979

wants to merge 26 commits into from
+91 −1

Commits on Sep 20, 2024

  1. move file Galois into folder Galois 

    For the incoming infinite case
    @Thmoas-Guan
    Thmoas-Guan committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    1c37547 View commit details
    Browse the repository at this point in the history

  2. add lemmas

    @Thmoas-Guan
    Thmoas-Guan committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    fd67340 View commit details
    Browse the repository at this point in the history

  3. add more lemmas

    @Thmoas-Guan
    Thmoas-Guan committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    8bf0b73 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Update Galois.lean

    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    72dd249 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'update-Galois' into lemmas-of-Galois-theory

    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    00288b9 View commit details
    Browse the repository at this point in the history

  3. Revert "Merge branch 'update-Galois' into lemmas-of-Galois-theory" 

    This reverts commit 00288b9, reversing
changes made to 8bf0b73.
    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    efabf3a View commit details
    Browse the repository at this point in the history

  4. Update Galois.lean

    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    180c3f9 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'update-Galois-for-merge' into lemmas-of-Galois-theory

    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    504d2c9 View commit details
    Browse the repository at this point in the history

  6. Revert "Merge branch 'update-Galois-for-merge' into lemmas-of-Galois-… 

    …theory"

This reverts commit 504d2c9, reversing
changes made to efabf3a.
    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2241efa View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'upstream/master' into lemmas-of-Galois-… 

    …theory
    @Thmoas-Guan
    Thmoas-Guan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ded38ae View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2024

  1. Merge branch 'master' into lemmas-of-Galois-theory

    @Thmoas-Guan
    Thmoas-Guan authored Sep 28, 2024
    Configuration menu
    Copy the full SHA
    83a18b5 View commit details
    Browse the repository at this point in the history

  2. fix Basic.lean

    @Thmoas-Guan
    Thmoas-Guan committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    197ecbe View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Merge branch 'master' into lemmas-of-Galois-theory

    @Thmoas-Guan
    Thmoas-Guan authored Sep 29, 2024
    Configuration menu
    Copy the full SHA
    e75cb4f View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Revert "add more lemmas" 

    This reverts commit 8bf0b73.
    @Thmoas-Guan
    Thmoas-Guan committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    d713a88 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Merge remote-tracking branch 'upstream/master' into lemmas-of-Galois-… 

    …theory
    @Thmoas-Guan
    Thmoas-Guan committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    d2798b9 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2024

  1. Merge branch 'master' into lemmas-of-Galois-theory

    @Thmoas-Guan
    Thmoas-Guan authored Oct 19, 2024
    Configuration menu
    Copy the full SHA
    5676ddd View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Merge remote-tracking branch 'upstream/Infinite-Galois-Theory-New-Bas… 

    …e-ver' into lemmas-of-Galois-theory
    @Thmoas-Guan
    Thmoas-Guan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    55ac2b8 View commit details
    Browse the repository at this point in the history

  2. refine proofs and statements

    @Thmoas-Guan
    Thmoas-Guan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    42a3a43 View commit details
    Browse the repository at this point in the history

  3. refine statement

    @Thmoas-Guan
    Thmoas-Guan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    9961b62 View commit details
    Browse the repository at this point in the history

  4. refine lemma

    @Thmoas-Guan
    Thmoas-Guan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    ddeb93c View commit details
    Browse the repository at this point in the history

  5. add lemma

    @Thmoas-Guan
    Thmoas-Guan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    0da8a4e View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. add API lemma

    @Thmoas-Guan
    Thmoas-Guan committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    5ce45d5 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. refine proofs

    @Thmoas-Guan
    Thmoas-Guan committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    d5b9384 View commit details
    Browse the repository at this point in the history

  2. fix naming

    @Thmoas-Guan
    Thmoas-Guan committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    e4b45c6 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Merge remote-tracking branch 'upstream/master' into lemmas-of-Galois-… 

    …theory
    @Thmoas-Guan
    Thmoas-Guan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    8ac435e View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. Merge remote-tracking branch 'upstream/master' into lemmas-of-Galois-… 

    …theory
    @Thmoas-Guan
    Thmoas-Guan committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    dac416d View commit details
    Browse the repository at this point in the history