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(Mathlib/Combinatorics/Nullstellensatz) : Alon's Combinatorial Nullstellensatz #16177

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

feat(Mathlib/Combinatorics/Nullstellensatz) : Alon's Combinatorial Nullstellensatz #16177

wants to merge 104 commits into from
+1,415 −6

Commits on Aug 18, 2024

  1. initial commit

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    dd41a2c View commit details
    Browse the repository at this point in the history

  2. add docstring

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    5839a85 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. progress

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    4f3169c View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. small progress

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    e490d4f View commit details
    Browse the repository at this point in the history

  2. start defining linear order

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    c46fff9 View commit details
    Browse the repository at this point in the history

  3. prob. ok pour la multiplication

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    37feb31 View commit details
    Browse the repository at this point in the history

  4. presque rien

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    94f83d0 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2024

  1. big progress

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    ce26f63 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Alon's First Combinatorial Nullstellensatz

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    434d61b View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. full proof of Combinatorial Nullstellensatz

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    b2327b3 View commit details
    Browse the repository at this point in the history

  2. fix lint style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    244d91a View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. make it work for finite types

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    74b2d05 View commit details
    Browse the repository at this point in the history

  2. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    eaca76d View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2024

  1. try to have euclDivd work recursively

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    57063ff View commit details
    Browse the repository at this point in the history

  2. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    7beb580 View commit details
    Browse the repository at this point in the history

  3. initial commit

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    e79b5ca View commit details
    Browse the repository at this point in the history

  4. starting

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    b9e1875 View commit details
    Browse the repository at this point in the history

  5. apply zuggestions from Giacomo Stevanato

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    a8ff2b1 View commit details
    Browse the repository at this point in the history

  6. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    ef9bb5e View commit details
    Browse the repository at this point in the history

  7. some progress

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    e0c6b4f View commit details
    Browse the repository at this point in the history

  8. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    a76a105 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. progress

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    27d6b7d View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. euclidean division for a monomial order

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    ac438fd View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. division algorithm

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    e9beb33 View commit details
    Browse the repository at this point in the history

  2. delete #printaxioms

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    8f70271 View commit details
    Browse the repository at this point in the history

  3. clean namespace, partially add DegLex

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    7cfdfce View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2024

  1. have 4 monomial orders

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    709fa0b View commit details
    Browse the repository at this point in the history

  2. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    eeeaa2d View commit details
    Browse the repository at this point in the history

  3. lint style and update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    14afba4 View commit details
    Browse the repository at this point in the history

  4. add copyright

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    fab4b25 View commit details
    Browse the repository at this point in the history

  5. remove import

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    ab5bd1c View commit details
    Browse the repository at this point in the history

  6. remove one more trailing space

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    fda8779 View commit details
    Browse the repository at this point in the history

  7. add docstring, remove useless simp tags, remove unused

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    1832055 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2024

  1. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    0bd630f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into ACL/CombNS

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    cbdda48 View commit details
    Browse the repository at this point in the history

  3. use groebner division

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    74d5847 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    0421491 View commit details
    Browse the repository at this point in the history

  2. lint-style

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    6ae0f9c View commit details
    Browse the repository at this point in the history

  3. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    7b66920 View commit details
    Browse the repository at this point in the history

  4. use more monomial orders

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    12aaa4a View commit details
    Browse the repository at this point in the history

  5. revert WeightedHomogeneous and Homogeneous

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    d3183a9 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. simplify a little bit using EW's ideas

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    bbdfdd9 View commit details
    Browse the repository at this point in the history

  2. split into various files

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    b83b5d5 View commit details
    Browse the repository at this point in the history

  3. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    b8bcb90 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into ACL/Groebner

    @AntoineChambert-Loir
    AntoineChambert-Loir authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    8d6f7d0 View commit details
    Browse the repository at this point in the history

  5. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    8a353cf View commit details
    Browse the repository at this point in the history

  6. Merge branch 'ACL/Groebner' of https://github.com/leanprover-communit… 

    …y/mathlib4 into ACL/Groebner
    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    85743f8 View commit details
    Browse the repository at this point in the history

  7. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    888f1ab View commit details
    Browse the repository at this point in the history

  8. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    19a9ac4 View commit details
    Browse the repository at this point in the history

  9. Update Mathlib.lean 

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

Commits on Sep 11, 2024

  1. adjust Groebner

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    5471a1d View commit details
    Browse the repository at this point in the history

  2. lint-style - trailing spaces

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    8a368ce View commit details
    Browse the repository at this point in the history

  3. add docstring

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    75ccc3e View commit details
    Browse the repository at this point in the history

  4. add docstring, add indexed division

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    b9ad12f View commit details
    Browse the repository at this point in the history

  5. add docstring

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    27dc14e View commit details
    Browse the repository at this point in the history

  6. lint-style - remove trailing spaces

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    cc1e661 View commit details
    Browse the repository at this point in the history

  7. lint-style - remove trailing spaces

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    fcea481 View commit details
    Browse the repository at this point in the history

  8. adjust name (monomialOrderDiv -> MonomialOrder.div)

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    21b605b View commit details
    Browse the repository at this point in the history

  9. adjust (nonworking dot notation)

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    261de0d View commit details
    Browse the repository at this point in the history

  10. lake shake

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    f6adc0b View commit details
    Browse the repository at this point in the history

  11. lake shake - correct

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    de3af11 View commit details
    Browse the repository at this point in the history

  12. add noshake

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    7fe6c4f View commit details
    Browse the repository at this point in the history

  13. remove Dickson

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    bb46d41 View commit details
    Browse the repository at this point in the history

  14. merge Groebner

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    ed60468 View commit details
    Browse the repository at this point in the history

  15. adjust

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    d5d6cb1 View commit details
    Browse the repository at this point in the history

  16. lint-style - trailing spaces

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    b7f1420 View commit details
    Browse the repository at this point in the history

  17. Revert "lint-style - trailing spaces" 

    This reverts commit b7f1420.

Trailing characters had been deleted by error.
    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    e4fde07 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. simplify the proof of Alon2

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    ff5e6c1 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/Combinatorics/Nullstellensatz.lean 

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

Commits on Nov 25, 2024

  1. initial commit

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    d1861ea View commit details
    Browse the repository at this point in the history

  2. initial commit

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    19846a5 View commit details
    Browse the repository at this point in the history

  3. add degree and leading term wrt MonomialOrder

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    7510d50 View commit details
    Browse the repository at this point in the history

  4. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    e18438b View commit details
    Browse the repository at this point in the history

  5. remove useless instances (linter alert)

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    0cccee7 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'ACL/Groebner-mo' into ACL/Groebner-da

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    6f841ee View commit details
    Browse the repository at this point in the history

  7. initial commit

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    b483dfb View commit details
    Browse the repository at this point in the history

  8. initial commit

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    146967f View commit details
    Browse the repository at this point in the history

  9. address two linter issues

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    bb9f2c7 View commit details
    Browse the repository at this point in the history

  10. add lemma (sup_mem_of_nonempty)

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    ed2cf6c View commit details
    Browse the repository at this point in the history

  11. add two import

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    a6fbe9b View commit details
    Browse the repository at this point in the history

  12. update after rename

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    664a11e View commit details
    Browse the repository at this point in the history

  13. add finsupp/weight lemmas

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    b3d9a6c View commit details
    Browse the repository at this point in the history

  14. add finsupp/Lex lemmas

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    03a67c7 View commit details
    Browse the repository at this point in the history

  15. add references

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    2d8270c View commit details
    Browse the repository at this point in the history

  16. add references

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    cda269f View commit details
    Browse the repository at this point in the history

  17. Merge branch 'ACL/Groebner-deglex' into ACL/Groebner-degrevlex

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    b50d800 View commit details
    Browse the repository at this point in the history

  18. adjust

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    2d9def9 View commit details
    Browse the repository at this point in the history

  19. Update Mathlib/Combinatorics/Nullstellensatz.lean 

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

  20. merge master and adjust

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    076c83c View commit details
    Browse the repository at this point in the history

  21. adjust import

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    cac1417 View commit details
    Browse the repository at this point in the history

  22. Merge branch 'ACL/Groebner-da' into ACL/CombNS

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    a92a6f2 View commit details
    Browse the repository at this point in the history

  23. update scripts/noshake

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    5a5bc74 View commit details
    Browse the repository at this point in the history

  24. update Mathlib.lean

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    4e786c4 View commit details
    Browse the repository at this point in the history

  25. Update Mathlib/RingTheory/MvPolynomial/MonomialOrder.lean 

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    @AntoineChambert-Loir @github-actions
    AntoineChambert-Loir and github-actions[bot] authored Nov 25, 2024
    Configuration menu
    Copy the full SHA
    8feeada View commit details
    Browse the repository at this point in the history

  26. merge ACL/Groebner-degrevlex

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    65d4cd0 View commit details
    Browse the repository at this point in the history

  27. Merge branch 'ACL/CombNS' of https://github.com/leanprover-community/… 

    …mathlib4 into ACL/CombNS
    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    c037288 View commit details
    Browse the repository at this point in the history

  28. remove unused import

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    219b7d3 View commit details
    Browse the repository at this point in the history

  29. delete degrevlex and udpate Mathlib

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    6f17daa View commit details
    Browse the repository at this point in the history

  30. Merge branch 'master' into ACL/CombNS

    @AntoineChambert-Loir
    AntoineChambert-Loir authored Nov 25, 2024
    Configuration menu
    Copy the full SHA
    6b1f433 View commit details
    Browse the repository at this point in the history

  31. update, simplify

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    4ca1256 View commit details
    Browse the repository at this point in the history

  32. update, simplify again

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    44ba602 View commit details
    Browse the repository at this point in the history

  33. remove trailing spaces

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    0860c24 View commit details
    Browse the repository at this point in the history

  34. adjust in order

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    bb1a2b9 View commit details
    Browse the repository at this point in the history

  35. adjust import (following linter instruction)

    @AntoineChambert-Loir
    AntoineChambert-Loir committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    4d88261 View commit details
    Browse the repository at this point in the history