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.

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

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

Closed
wants to merge 118 commits into from

Commits on Feb 27, 2024

  1. Configuration menu
    Copy the full SHA
    205e212 View commit details
    Browse the repository at this point in the history
  2. Linting

    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. 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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. Configuration menu
    Copy the full SHA
    43f0f2d View commit details
    Browse the repository at this point in the history
  2. Linting

    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 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 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 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 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 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 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 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 committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    31ad0f7 View commit details
    Browse the repository at this point in the history
  11. 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. 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 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. Configuration menu
    Copy the full SHA
    c63d2e6 View commit details
    Browse the repository at this point in the history
  2. Cleanup

    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 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 committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    8a97d35 View commit details
    Browse the repository at this point in the history
  5. 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. Configuration menu
    Copy the full SHA
    a7d6a94 View commit details
    Browse the repository at this point in the history
  2. Fix

    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 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 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 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 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 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 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 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 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 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 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 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 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. 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    160272b View commit details
    Browse the repository at this point in the history
  26. Configuration menu
    Copy the full SHA
    d857a1a View commit details
    Browse the repository at this point in the history
  27. use notation

    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 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 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 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 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. 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 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 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 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 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. Configuration menu
    Copy the full SHA
    2e256aa View commit details
    Browse the repository at this point in the history
  2. Fix errors

    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. Configuration menu
    Copy the full SHA
    d4a0a24 View commit details
    Browse the repository at this point in the history
  4. Merge

    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 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 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 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 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 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 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 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 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 committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    389f472 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    881be75 View commit details
    Browse the repository at this point in the history
  15. Remove redundancies

    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 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. 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 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. Configuration menu
    Copy the full SHA
    0fb7488 View commit details
    Browse the repository at this point in the history
  2. Remove duplicate

    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. Configuration menu
    Copy the full SHA
    937f171 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3070c49 View commit details
    Browse the repository at this point in the history