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: Complete homogeneous and monomial symmetric polynomials #12572

Closed
wants to merge 118 commits into from
Closed

[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials #12572

wants to merge 118 commits into from

Commits on Feb 27, 2024

  1. [RFC] Complete homogeneous symmetric functions

    @SashaIr
    SashaIr committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    205e212 View commit details
    Browse the repository at this point in the history

  2. Linting

    @SashaIr
    SashaIr committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    357abb5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into sashair-symmetric-functions

    @SashaIr
    SashaIr committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    313a3c4 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Implemented suggestions

    @SashaIr
    SashaIr committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    ff506b7 View commit details
    Browse the repository at this point in the history

  2. Minor.

    @SashaIr
    SashaIr committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    710e4e0 View commit details
    Browse the repository at this point in the history

  3. Simplifications

    @SashaIr
    SashaIr committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    9b15988 View commit details
    Browse the repository at this point in the history

  4. Bases

    @SashaIr
    SashaIr committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    d4936f3 View commit details
    Browse the repository at this point in the history

  5. Computability of oneEquiv

    @SashaIr
    SashaIr committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    6ddb1ef View commit details
    Browse the repository at this point in the history

  6. Minor

    @SashaIr
    SashaIr committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    df119fa View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Simp lemmas about products

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

  2. Linting 

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

  3. Linting 

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

  4. Linting 

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

Commits on Mar 6, 2024

  1. Linting

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

  2. Linting 

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

  3. Linting 

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

  4. Linting 

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

Commits on Mar 10, 2024

  1. Monomial symmetric polynomials

    @SashaIr
    SashaIr committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    43f0f2d View commit details
    Browse the repository at this point in the history

  2. Linting

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

  3. Update Mathlib/Combinatorics/Partition.lean 

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

  4. Update Mathlib/Data/Multiset/Dedup.lean 

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

  5. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

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

  6. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

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

  7. Linting

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

  8. Linting

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

  9. Docstring

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

  10. More linting. 

    Will it ever be over?
    @SashaIr
    SashaIr committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    31ad0f7 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'master' into sashair-symmetric-functions

    @SashaIr
    SashaIr committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    8abd33a View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Merge branch 'master' into sashair-symmetric-functions

    @SashaIr
    SashaIr committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    c947257 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. fix build

    @riccardobrasca
    riccardobrasca committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    e1b1ae6 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. Merge branch 'master' into sashair-symmetric-functions

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

  2. Cleanup

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

  3. Update Mathlib/Combinatorics/Partition.lean 

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

  4. Linting

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

  5. Merge branch 'sashair-symmetric-functions' of https://github.com/lean… 

    …prover-community/mathlib4 into sashair-symmetric-functions
    @SashaIr
    SashaIr committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    df592f2 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. Merge branch 'master' into sashair-symmetric-functions

    @SashaIr
    SashaIr committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    a7d6a94 View commit details
    Browse the repository at this point in the history

  2. Fix

    @SashaIr
    SashaIr committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    937f636 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2024

  1. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    ec9d093 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    f098543 View commit details
    Browse the repository at this point in the history

  3. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    6b5bbba View commit details
    Browse the repository at this point in the history

  4. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    85e93b7 View commit details
    Browse the repository at this point in the history

  5. Update Mathlib/Data/Multiset/Dedup.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    7b7a95e View commit details
    Browse the repository at this point in the history

  6. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    3a4e072 View commit details
    Browse the repository at this point in the history

  7. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    3246566 View commit details
    Browse the repository at this point in the history

  8. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    c1f7149 View commit details
    Browse the repository at this point in the history

  9. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    61fe1c7 View commit details
    Browse the repository at this point in the history

  10. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Mar 30, 2024
    Configuration menu
    Copy the full SHA
    3545356 View commit details
    Browse the repository at this point in the history

  11. Fix

    @SashaIr
    SashaIr committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    5632270 View commit details
    Browse the repository at this point in the history

  12. Rename

    @SashaIr
    SashaIr committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    877bcef View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Merge branch 'master' into sashair-symmetric-functions

    @SashaIr
    SashaIr authored Apr 11, 2024
    Configuration menu
    Copy the full SHA
    92125f8 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Apr 12, 2024
    Configuration menu
    Copy the full SHA
    beaaf8b View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Riccardo Brasca <[email protected]>
    @SashaIr @riccardobrasca
    SashaIr and riccardobrasca authored May 10, 2024
    Configuration menu
    Copy the full SHA
    ace3fac View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Riccardo Brasca <[email protected]>
    @SashaIr @riccardobrasca
    SashaIr and riccardobrasca authored May 10, 2024
    Configuration menu
    Copy the full SHA
    6c7ba56 View commit details
    Browse the repository at this point in the history

  3. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Riccardo Brasca <[email protected]>
    @SashaIr @riccardobrasca
    SashaIr and riccardobrasca authored May 10, 2024
    Configuration menu
    Copy the full SHA
    b487fff View commit details
    Browse the repository at this point in the history

  4. Suggestions 

    I'm not sure that msymm_one is better now
    @SashaIr
    SashaIr committed May 10, 2024
    Configuration menu
    Copy the full SHA
    a86cefe View commit details
    Browse the repository at this point in the history

  5. Linting

    @SashaIr
    SashaIr committed May 10, 2024
    Configuration menu
    Copy the full SHA
    2443cdd View commit details
    Browse the repository at this point in the history

  6. Remove show

    @SashaIr
    SashaIr committed May 10, 2024
    Configuration menu
    Copy the full SHA
    5378e04 View commit details
    Browse the repository at this point in the history

  7. Linting

    @SashaIr
    SashaIr committed May 10, 2024
    Configuration menu
    Copy the full SHA
    e18d906 View commit details
    Browse the repository at this point in the history

  8. Linting

    @SashaIr
    SashaIr committed May 10, 2024
    Configuration menu
    Copy the full SHA
    4517acb View commit details
    Browse the repository at this point in the history

  9. Linting

    @SashaIr
    SashaIr committed May 10, 2024
    Configuration menu
    Copy the full SHA
    977788b View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored May 13, 2024
    Configuration menu
    Copy the full SHA
    4c78fb9 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    c236dc6 View commit details
    Browse the repository at this point in the history

  3. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    98dce0c View commit details
    Browse the repository at this point in the history

  4. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    0871198 View commit details
    Browse the repository at this point in the history

  5. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    ef52886 View commit details
    Browse the repository at this point in the history

  6. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    d83c121 View commit details
    Browse the repository at this point in the history

  7. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    69d7db9 View commit details
    Browse the repository at this point in the history

  8. Update Mathlib/Data/Multiset/Dedup.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    21d0e74 View commit details
    Browse the repository at this point in the history

  9. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    d248eea View commit details
    Browse the repository at this point in the history

  10. Update Mathlib/Data/Multiset/Dedup.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    be785a6 View commit details
    Browse the repository at this point in the history

  11. Update Mathlib/Data/Multiset/Dedup.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    1dd283f View commit details
    Browse the repository at this point in the history

  12. Update Mathlib/Data/Sym/Basic.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    f8d7f16 View commit details
    Browse the repository at this point in the history

  13. Update Mathlib/Data/Multiset/Dedup.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    e3fa737 View commit details
    Browse the repository at this point in the history

  14. Update Mathlib/Data/Sym/Basic.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    d0cad77 View commit details
    Browse the repository at this point in the history

  15. Update Mathlib/Data/Sym/Basic.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    0b47a3a View commit details
    Browse the repository at this point in the history

  16. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    686339e View commit details
    Browse the repository at this point in the history

  17. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    a5303ce View commit details
    Browse the repository at this point in the history

  18. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    01bd97b View commit details
    Browse the repository at this point in the history

  19. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    914f69e View commit details
    Browse the repository at this point in the history

  20. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    29de762 View commit details
    Browse the repository at this point in the history

  21. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    a78b7ca View commit details
    Browse the repository at this point in the history

  22. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    c62773b View commit details
    Browse the repository at this point in the history

  23. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    9d4664a View commit details
    Browse the repository at this point in the history

  24. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    e1d91a9 View commit details
    Browse the repository at this point in the history

  25. Stylistic changes

    @SashaIr
    SashaIr committed May 13, 2024
    Configuration menu
    Copy the full SHA
    160272b View commit details
    Browse the repository at this point in the history

  26. Merge remote-tracking branch 'origin/master' into sashair-hm-symmetri… 

    …c-polynomials
    @YaelDillies
    YaelDillies committed May 13, 2024
    Configuration menu
    Copy the full SHA
    d857a1a View commit details
    Browse the repository at this point in the history

  27. use notation

    @YaelDillies
    YaelDillies committed May 13, 2024
    Configuration menu
    Copy the full SHA
    cd3d2f7 View commit details
    Browse the repository at this point in the history

  28. Fixes

    @SashaIr
    SashaIr committed May 13, 2024
    Configuration menu
    Copy the full SHA
    9869d79 View commit details
    Browse the repository at this point in the history

  29. Add some variables

    @SashaIr
    SashaIr committed May 13, 2024
    Configuration menu
    Copy the full SHA
    73dae1d View commit details
    Browse the repository at this point in the history

  30. Minor

    @SashaIr
    SashaIr committed May 13, 2024
    Configuration menu
    Copy the full SHA
    40a90fa View commit details
    Browse the repository at this point in the history

  31. Update Mathlib/Combinatorics/Enumerative/Partition.lean 

    Co-authored-by: Rida Hamadani <[email protected]>
    @SashaIr @Rida-Hamadani
    SashaIr and Rida-Hamadani authored May 13, 2024
    Configuration menu
    Copy the full SHA
    3d101ea View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. Merge branch 'master' into sashair-hm-symmetric-polynomials

    @SashaIr
    SashaIr authored Jun 15, 2024
    Configuration menu
    Copy the full SHA
    8a6e88c View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Update Mathlib/Data/Sym/Basic.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Jun 16, 2024
    Configuration menu
    Copy the full SHA
    eac3cf9 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Update Mathlib/Data/Multiset/Dedup.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    67b1910 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    cf0f59f View commit details
    Browse the repository at this point in the history

  3. Update Mathlib/RingTheory/MvPolynomial/Symmetric.lean 

    Co-authored-by: Yaël Dillies <[email protected]>
    @SashaIr @YaelDillies
    SashaIr and YaelDillies authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    df57d4a View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. Merge branch 'master' into sashair-hm-symmetric-polynomials

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    2e256aa View commit details
    Browse the repository at this point in the history

  2. Fix errors

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    81bd560 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into sashair-hm-symmetric-polynomials

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    d4a0a24 View commit details
    Browse the repository at this point in the history

  4. Merge

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    262fa8e View commit details
    Browse the repository at this point in the history

  5. Updates

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    f4c4f30 View commit details
    Browse the repository at this point in the history

  6. npos

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    bcf74cb View commit details
    Browse the repository at this point in the history

  7. Got rid of products

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    6a04bc8 View commit details
    Browse the repository at this point in the history

  8. Remove explicit variables

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    d6a9e77 View commit details
    Browse the repository at this point in the history

  9. Fix build fail

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    fda6c6d View commit details
    Browse the repository at this point in the history

  10. More fixes

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    1371a3f View commit details
    Browse the repository at this point in the history

  11. Remove redundant lemmas

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    dcbf7a8 View commit details
    Browse the repository at this point in the history

  12. Revert "More fixes" 

    This reverts commit 1371a3f.
    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    7977955 View commit details
    Browse the repository at this point in the history

  13. Revert "Fix build fail" 

    This reverts commit fda6c6d.
    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    389f472 View commit details
    Browse the repository at this point in the history

  14. Revert "Remove explicit variables"

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    881be75 View commit details
    Browse the repository at this point in the history

  15. Remove redundancies

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    6446405 View commit details
    Browse the repository at this point in the history

  16. Yeah right forgot this one

    @SashaIr
    SashaIr committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    b71624d View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. onePart to indiscrete, docstrings

    @SashaIr
    SashaIr committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    82fa131 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Remove extra lemma

    @SashaIr
    SashaIr committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    acd703b View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2024

  1. Merge branch 'master' into sashair-hm-symmetric-polynomials

    @SashaIr
    SashaIr authored Aug 4, 2024
    Configuration menu
    Copy the full SHA
    0fb7488 View commit details
    Browse the repository at this point in the history

  2. Remove duplicate

    @SashaIr
    SashaIr committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    dd82e43 View commit details
    Browse the repository at this point in the history

  3. Idk why there were duplicates

    @SashaIr
    SashaIr committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    937f171 View commit details
    Browse the repository at this point in the history

  4. I wish I got all the corrections before splitting the PR

    @SashaIr
    SashaIr committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    3070c49 View commit details
    Browse the repository at this point in the history