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(FiberedCategory/HasFibers): define HasFibers class #13611

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

feat(FiberedCategory/HasFibers): define HasFibers class #13611

wants to merge 238 commits into from
+284 −21

Commits on May 16, 2024

  1. first commit

    @callesonne
    callesonne committed May 16, 2024
    Configuration menu
    Copy the full SHA
    649dd02 View commit details
    Browse the repository at this point in the history

  2. fixing

    @callesonne
    callesonne committed May 16, 2024
    Configuration menu
    Copy the full SHA
    38082d9 View commit details
    Browse the repository at this point in the history

  3. new file

    @callesonne
    callesonne committed May 16, 2024
    Configuration menu
    Copy the full SHA
    335baba View commit details
    Browse the repository at this point in the history

  4. linting fix

    @callesonne
    callesonne committed May 16, 2024
    Configuration menu
    Copy the full SHA
    91ac434 View commit details
    Browse the repository at this point in the history

  5. documentation

    @callesonne
    callesonne committed May 16, 2024
    Configuration menu
    Copy the full SHA
    2df4544 View commit details
    Browse the repository at this point in the history

  6. cleaning up

    @callesonne
    callesonne committed May 16, 2024
    Configuration menu
    Copy the full SHA
    f320f14 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. typo

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    41b6091 View commit details
    Browse the repository at this point in the history

  2. renaming

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    25ba2b9 View commit details
    Browse the repository at this point in the history

  3. documentation fix

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    dead993 View commit details
    Browse the repository at this point in the history

  4. renaming

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    518fce8 View commit details
    Browse the repository at this point in the history

  5. rearranging

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    b21fd76 View commit details
    Browse the repository at this point in the history

  6. make IsHomLift a class

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    3b0363f View commit details
    Browse the repository at this point in the history

  7. squeeze simps

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    7219334 View commit details
    Browse the repository at this point in the history

  8. added automation

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    3bcb9d4 View commit details
    Browse the repository at this point in the history

  9. added instances & golfing

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    48efca6 View commit details
    Browse the repository at this point in the history

  10. naming conventions fix

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    cb943bf View commit details
    Browse the repository at this point in the history

  11. fix

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    21775a6 View commit details
    Browse the repository at this point in the history

  12. make IsHomLift a class

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    0b5768b View commit details
    Browse the repository at this point in the history

  13. squeeze simps

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    878363e View commit details
    Browse the repository at this point in the history

  14. added automation

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    02eff36 View commit details
    Browse the repository at this point in the history

  15. added instances & golfing

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    e00f61e View commit details
    Browse the repository at this point in the history

  16. naming conventions fix

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    7454f47 View commit details
    Browse the repository at this point in the history

  17. make IsHomLift a class

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    46a9267 View commit details
    Browse the repository at this point in the history

  18. naming conventions

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    9120723 View commit details
    Browse the repository at this point in the history

  19. make IsCartesian a class

    @callesonne
    callesonne committed May 17, 2024
    Configuration menu
    Copy the full SHA
    819461b View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. use IsHomLift as a class better

    @callesonne
    callesonne committed May 18, 2024
    Configuration menu
    Copy the full SHA
    5d0bc7e View commit details
    Browse the repository at this point in the history

  2. name changes

    @callesonne
    callesonne committed May 18, 2024
    Configuration menu
    Copy the full SHA
    0152d94 View commit details
    Browse the repository at this point in the history

  3. linting fix

    @callesonne
    callesonne committed May 18, 2024
    Configuration menu
    Copy the full SHA
    8d335de View commit details
    Browse the repository at this point in the history

  4. missing lemma

    @callesonne
    callesonne committed May 18, 2024
    Configuration menu
    Copy the full SHA
    2908356 View commit details
    Browse the repository at this point in the history

  5. fixing

    @callesonne
    callesonne committed May 18, 2024
    Configuration menu
    Copy the full SHA
    d7d1a5e View commit details
    Browse the repository at this point in the history

  6. removing bad simp lemmas

    @callesonne
    callesonne committed May 18, 2024
    Configuration menu
    Copy the full SHA
    8d13d0c View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. fixing

    @callesonne
    callesonne committed May 21, 2024
    Configuration menu
    Copy the full SHA
    f894220 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

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

  3. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

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

  4. formatting

    @callesonne
    callesonne committed May 21, 2024
    Configuration menu
    Copy the full SHA
    9dbdef4 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored May 23, 2024
    Configuration menu
    Copy the full SHA
    0efe900 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored May 23, 2024
    Configuration menu
    Copy the full SHA
    f7d4f92 View commit details
    Browse the repository at this point in the history

  3. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored May 23, 2024
    Configuration menu
    Copy the full SHA
    7080d9e View commit details
    Browse the repository at this point in the history

  4. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored May 23, 2024
    Configuration menu
    Copy the full SHA
    09fdc1d View commit details
    Browse the repository at this point in the history

  5. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored May 23, 2024
    Configuration menu
    Copy the full SHA
    e73649d View commit details
    Browse the repository at this point in the history

  6. IsHomLift using inductive type

    @callesonne
    callesonne committed May 23, 2024
    Configuration menu
    Copy the full SHA
    a3b3b90 View commit details
    Browse the repository at this point in the history

  7. formatting

    @callesonne
    callesonne committed May 23, 2024
    Configuration menu
    Copy the full SHA
    7703af9 View commit details
    Browse the repository at this point in the history

  8. docstring fix

    @callesonne
    callesonne committed May 23, 2024
    Configuration menu
    Copy the full SHA
    e3edb00 View commit details
    Browse the repository at this point in the history

  9. name change

    @callesonne
    callesonne committed May 23, 2024
    Configuration menu
    Copy the full SHA
    192af0b View commit details
    Browse the repository at this point in the history

  10. automatic lemma generation

    @callesonne
    callesonne committed May 23, 2024
    Configuration menu
    Copy the full SHA
    2dd3235 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. making code more uniform

    @callesonne
    callesonne committed May 24, 2024
    Configuration menu
    Copy the full SHA
    f080e47 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2024

  1. fix

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    4f36172 View commit details
    Browse the repository at this point in the history

  2. use IsHomLift as a class better

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    aeead51 View commit details
    Browse the repository at this point in the history

  3. name changes

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    2601469 View commit details
    Browse the repository at this point in the history

  4. linting fix

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    3d37111 View commit details
    Browse the repository at this point in the history

  5. missing lemma

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    9ea4230 View commit details
    Browse the repository at this point in the history

  6. fixing

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    29ef1db View commit details
    Browse the repository at this point in the history

  7. removing bad simp lemmas

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    43260e8 View commit details
    Browse the repository at this point in the history

  8. fixing

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    a5f0432 View commit details
    Browse the repository at this point in the history

  9. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    @callesonne @github-actions
    callesonne and github-actions[bot] committed May 25, 2024
    Configuration menu
    Copy the full SHA
    91e0e0c View commit details
    Browse the repository at this point in the history

  10. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    @callesonne @github-actions
    callesonne and github-actions[bot] committed May 25, 2024
    Configuration menu
    Copy the full SHA
    0e9e00f View commit details
    Browse the repository at this point in the history

  11. formatting

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    81722c9 View commit details
    Browse the repository at this point in the history

  12. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou committed May 25, 2024
    Configuration menu
    Copy the full SHA
    5f6a5d8 View commit details
    Browse the repository at this point in the history

  13. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou committed May 25, 2024
    Configuration menu
    Copy the full SHA
    4d4188d View commit details
    Browse the repository at this point in the history

  14. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou committed May 25, 2024
    Configuration menu
    Copy the full SHA
    ac49a26 View commit details
    Browse the repository at this point in the history

  15. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou committed May 25, 2024
    Configuration menu
    Copy the full SHA
    a88f269 View commit details
    Browse the repository at this point in the history

  16. Update Mathlib/CategoryTheory/FiberedCategory/HomLift.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou committed May 25, 2024
    Configuration menu
    Copy the full SHA
    95e75fc View commit details
    Browse the repository at this point in the history

  17. IsHomLift using inductive type

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    31cf056 View commit details
    Browse the repository at this point in the history

  18. formatting

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    2245cd5 View commit details
    Browse the repository at this point in the history

  19. docstring fix

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    57715ba View commit details
    Browse the repository at this point in the history

  20. name change

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    aca192a View commit details
    Browse the repository at this point in the history

  21. automatic lemma generation

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    e995f43 View commit details
    Browse the repository at this point in the history

  22. making code more uniform

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    c40dc83 View commit details
    Browse the repository at this point in the history

  23. adapting code to IsHomLift improvements

    @callesonne
    callesonne committed May 25, 2024
    Configuration menu
    Copy the full SHA
    693b88f View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. first commit

    @callesonne
    callesonne committed May 27, 2024
    Configuration menu
    Copy the full SHA
    e15634d View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. added IsCartesian and IsStronglyCartesian

    @callesonne
    callesonne committed May 28, 2024
    Configuration menu
    Copy the full SHA
    f7de983 View commit details
    Browse the repository at this point in the history

  2. IsFibered and IsPrefibered results

    @callesonne
    callesonne committed May 28, 2024
    Configuration menu
    Copy the full SHA
    2d696a4 View commit details
    Browse the repository at this point in the history

  3. fixing

    @callesonne
    callesonne committed May 28, 2024
    Configuration menu
    Copy the full SHA
    feef72b View commit details
    Browse the repository at this point in the history

  4. Update Mathlib/CategoryTheory/FiberedCategory/Fibered.lean 

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

  5. Update Mathlib/CategoryTheory/FiberedCategory/Fibered.lean 

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

Commits on May 29, 2024

  1. comment fix

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    9c4a330 View commit details
    Browse the repository at this point in the history

  2. fixed file docstring

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    ae1dd9a View commit details
    Browse the repository at this point in the history

  3. fixing

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    5549804 View commit details
    Browse the repository at this point in the history

  4. linter fix

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    911cd98 View commit details
    Browse the repository at this point in the history

  5. fixing assumptions

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    36d2fa4 View commit details
    Browse the repository at this point in the history

  6. cartesian arrows

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    e4379fc View commit details
    Browse the repository at this point in the history

  7. added file

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    fc08405 View commit details
    Browse the repository at this point in the history

  8. fixing

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    971c6d6 View commit details
    Browse the repository at this point in the history

  9. added documentation

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    b094a8d View commit details
    Browse the repository at this point in the history

  10. added TODO

    @callesonne
    callesonne committed May 29, 2024
    Configuration menu
    Copy the full SHA
    120af99 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. variable fix

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    49e890e View commit details
    Browse the repository at this point in the history

  2. fixing

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    9e310b8 View commit details
    Browse the repository at this point in the history

  3. documentation fix

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    8b5875b View commit details
    Browse the repository at this point in the history

  4. moved variable

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    3081126 View commit details
    Browse the repository at this point in the history

  5. initial commit

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    ea02d51 View commit details
    Browse the repository at this point in the history

  6. error fix

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    974434f View commit details
    Browse the repository at this point in the history

  7. fixing variables and comments

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    831c559 View commit details
    Browse the repository at this point in the history

  8. remove mk'

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    4765d7d View commit details
    Browse the repository at this point in the history

  9. more variable fix

    @callesonne
    callesonne committed May 30, 2024
    Configuration menu
    Copy the full SHA
    89340c1 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. cleaning up

    @callesonne
    callesonne committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0f0f672 View commit details
    Browse the repository at this point in the history

  2. proof fix

    @callesonne
    callesonne committed May 31, 2024
    Configuration menu
    Copy the full SHA
    a42b0ed View commit details
    Browse the repository at this point in the history

  3. remove todo

    @callesonne
    callesonne committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0329dd4 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. fixing assumptions

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    0cdb2b7 View commit details
    Browse the repository at this point in the history

  2. fixing

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    dac79b6 View commit details
    Browse the repository at this point in the history

  3. added TODO

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    cff27d2 View commit details
    Browse the repository at this point in the history

  4. variable fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    d41988c View commit details
    Browse the repository at this point in the history

  5. fixing

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    efb2f8a View commit details
    Browse the repository at this point in the history

  6. documentation fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    95a7cfe View commit details
    Browse the repository at this point in the history

  7. moved variable

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    67e32dc View commit details
    Browse the repository at this point in the history

  8. initial commit

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    503c006 View commit details
    Browse the repository at this point in the history

  9. error fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    decb8e8 View commit details
    Browse the repository at this point in the history

  10. fixing variables and comments

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    d961448 View commit details
    Browse the repository at this point in the history

  11. remove mk'

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    3892133 View commit details
    Browse the repository at this point in the history

  12. more variable fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    f097b62 View commit details
    Browse the repository at this point in the history

  13. cleaning up

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    8f7000f View commit details
    Browse the repository at this point in the history

  14. proof fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    bc53af9 View commit details
    Browse the repository at this point in the history

  15. remove todo

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    07853f1 View commit details
    Browse the repository at this point in the history

  16. variable fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    004499d View commit details
    Browse the repository at this point in the history

  17. file docstring

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    69437a5 View commit details
    Browse the repository at this point in the history

  18. added IsCartesian and IsStronglyCartesian

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    076f635 View commit details
    Browse the repository at this point in the history

  19. IsFibered and IsPrefibered results

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    b132742 View commit details
    Browse the repository at this point in the history

  20. fixing

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    31aa4aa View commit details
    Browse the repository at this point in the history

  21. variable fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    a584841 View commit details
    Browse the repository at this point in the history

  22. initial commit

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    e7e2095 View commit details
    Browse the repository at this point in the history

  23. fixing variables and comments

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    4046794 View commit details
    Browse the repository at this point in the history

  24. cleaning up

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    a48b81a View commit details
    Browse the repository at this point in the history

  25. added IsCartesian and IsStronglyCartesian

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    59393e3 View commit details
    Browse the repository at this point in the history

  26. IsFibered and IsPrefibered results

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    bc25c06 View commit details
    Browse the repository at this point in the history

  27. rebase onto prefibered branch

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    c5a2cc0 View commit details
    Browse the repository at this point in the history

  28. completed messy rebase

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    dc5f19e View commit details
    Browse the repository at this point in the history

  29. fix

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    4a4f348 View commit details
    Browse the repository at this point in the history

  30. fix bad rebase again

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    f21ee80 View commit details
    Browse the repository at this point in the history

  31. fixing proofs

    @callesonne
    callesonne committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    45e68da View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2024

  1. added IsCartesian and IsStronglyCartesian

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    d5977c1 View commit details
    Browse the repository at this point in the history

  2. IsFibered and IsPrefibered results

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    e8c7c4e View commit details
    Browse the repository at this point in the history

  3. fixing

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    b6bdd73 View commit details
    Browse the repository at this point in the history

  4. Update Mathlib/CategoryTheory/FiberedCategory/Fibered.lean 

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

  5. Update Mathlib/CategoryTheory/FiberedCategory/Fibered.lean 

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    @callesonne @github-actions
    callesonne and github-actions[bot] committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    35913b3 View commit details
    Browse the repository at this point in the history

  6. comment fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    dcbd9c1 View commit details
    Browse the repository at this point in the history

  7. fixed file docstring

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    e59a0ad View commit details
    Browse the repository at this point in the history

  8. fixing

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    e304d48 View commit details
    Browse the repository at this point in the history

  9. linter fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    65e05e2 View commit details
    Browse the repository at this point in the history

  10. fixing assumptions

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    ad2dbe6 View commit details
    Browse the repository at this point in the history

  11. fixing

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    7454d1a View commit details
    Browse the repository at this point in the history

  12. added TODO

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    6ec80fb View commit details
    Browse the repository at this point in the history

  13. variable fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    76dd45c View commit details
    Browse the repository at this point in the history

  14. fixing

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    b98bd37 View commit details
    Browse the repository at this point in the history

  15. documentation fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    e722e99 View commit details
    Browse the repository at this point in the history

  16. moved variable

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    94ba627 View commit details
    Browse the repository at this point in the history

  17. initial commit

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    0146c8f View commit details
    Browse the repository at this point in the history

  18. error fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    044818f View commit details
    Browse the repository at this point in the history

  19. fixing variables and comments

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    a7411f0 View commit details
    Browse the repository at this point in the history

  20. remove mk'

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    974d031 View commit details
    Browse the repository at this point in the history

  21. more variable fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    121da7b View commit details
    Browse the repository at this point in the history

  22. cleaning up

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    f237bba View commit details
    Browse the repository at this point in the history

  23. proof fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    1f76bd2 View commit details
    Browse the repository at this point in the history

  24. remove todo

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    8c4c9cf View commit details
    Browse the repository at this point in the history

  25. variable fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    a31707a View commit details
    Browse the repository at this point in the history

  26. file docstring

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    8861bdf View commit details
    Browse the repository at this point in the history

  27. added IsCartesian and IsStronglyCartesian

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    db08636 View commit details
    Browse the repository at this point in the history

  28. IsFibered and IsPrefibered results

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    f07f3ce View commit details
    Browse the repository at this point in the history

  29. fixing

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    e4544f2 View commit details
    Browse the repository at this point in the history

  30. variable fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    9a849dc View commit details
    Browse the repository at this point in the history

  31. initial commit

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    81166a7 View commit details
    Browse the repository at this point in the history

  32. fixing variables and comments

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    c599d45 View commit details
    Browse the repository at this point in the history

  33. cleaning up

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    3ab1699 View commit details
    Browse the repository at this point in the history

  34. added IsCartesian and IsStronglyCartesian

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    a3b6713 View commit details
    Browse the repository at this point in the history

  35. IsFibered and IsPrefibered results

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    aede73e View commit details
    Browse the repository at this point in the history

  36. rebase onto prefibered branch

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    7ed8a8f View commit details
    Browse the repository at this point in the history

  37. completed messy rebase

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    c8e6562 View commit details
    Browse the repository at this point in the history

  38. fix

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    8e41670 View commit details
    Browse the repository at this point in the history

  39. fix bad rebase again

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    3457d07 View commit details
    Browse the repository at this point in the history

  40. fixing proofs

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    68aa5dd View commit details
    Browse the repository at this point in the history

  41. error fixing

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    df0d9af View commit details
    Browse the repository at this point in the history

  42. Fixed all errors

    @callesonne
    callesonne committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    fc99b8d View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. Fixing assumptions

    @callesonne
    callesonne committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    6a11a7e View commit details
    Browse the repository at this point in the history

  2. more fixing

    @callesonne
    callesonne committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    6c47646 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. fixing

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    52e90fe View commit details
    Browse the repository at this point in the history

  2. lots of progress

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    8aab2e4 View commit details
    Browse the repository at this point in the history

  3. more progress

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    c71e0e4 View commit details
    Browse the repository at this point in the history

  4. more fixing

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    74e9ef0 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin' into fiberedcategories_hasfibers

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    8c7b996 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin' into fiberedcategories_strongly… 

    …cartesian
    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a869e8f View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin' into fiberedcategories_isfibered

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    ef90c41 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'fiberedcategories_isfibered' into fiberedcategories_has… 

    …fibers
    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    639a88a View commit details
    Browse the repository at this point in the history

  9. fixed final sorry

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a88e56d View commit details
    Browse the repository at this point in the history

  10. lint fix

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    549edc9 View commit details
    Browse the repository at this point in the history

  11. lint fix

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    77efc7d View commit details
    Browse the repository at this point in the history

  12. lint fix 2

    @callesonne
    callesonne committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    f506cca View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. fixing

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    262588d View commit details
    Browse the repository at this point in the history

  2. initial commit

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    902016a View commit details
    Browse the repository at this point in the history

  3. golfing

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    4aa1559 View commit details
    Browse the repository at this point in the history

  4. cleaning up

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    3a3edbb View commit details
    Browse the repository at this point in the history

  5. almost done

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    ed6b9ec View commit details
    Browse the repository at this point in the history

  6. remove nat iso

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    28adfeb View commit details
    Browse the repository at this point in the history

  7. comment fix

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    822d4f9 View commit details
    Browse the repository at this point in the history

  8. proof fix

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    04459bc View commit details
    Browse the repository at this point in the history

  9. reverted fix

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    f2f11b4 View commit details
    Browse the repository at this point in the history

  10. added file

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    115c123 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'fiberedcategory_fiber' into fiberedcategories_hasfibers

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    6c4465a View commit details
    Browse the repository at this point in the history

  12. add of_comp_iso

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    d807aec View commit details
    Browse the repository at this point in the history

  13. add homlift instances

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    84e0b41 View commit details
    Browse the repository at this point in the history

  14. cleaned up

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    23f71ec View commit details
    Browse the repository at this point in the history

  15. re-add natural isos

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    7d04d3b View commit details
    Browse the repository at this point in the history

  16. fixing

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    c11bd25 View commit details
    Browse the repository at this point in the history

  17. fixed docstring

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    d597344 View commit details
    Browse the repository at this point in the history

  18. added file

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    2388b03 View commit details
    Browse the repository at this point in the history

  19. linter fix

    @callesonne
    callesonne committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    a7760e9 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Merge branch 'master' into fiberedcategories_stronglycartesian

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    67d2daf View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/leanprover-community/math… 

    …lib4 into fiberedcategories_stronglycartesian
    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    9b50fa7 View commit details
    Browse the repository at this point in the history

  3. merge fix

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    ffe7104 View commit details
    Browse the repository at this point in the history

  4. fix naming

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    5b48cf2 View commit details
    Browse the repository at this point in the history

  5. comment fix

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    4e514b2 View commit details
    Browse the repository at this point in the history

  6. module docstring fix

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    a9fab35 View commit details
    Browse the repository at this point in the history

  7. namespace fix

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    66a246c View commit details
    Browse the repository at this point in the history

  8. fix hypothesis

    @callesonne
    callesonne committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    dc1efeb View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Update Mathlib/CategoryTheory/FiberedCategory/Cartesian.lean 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored Jun 20, 2024
    Configuration menu
    Copy the full SHA
    4532388 View commit details
    Browse the repository at this point in the history

  2. fix suggestion + comments

    @callesonne
    callesonne committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    3cdcde2 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2024

  1. fix documentation and add reassoc

    @callesonne
    callesonne committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    386d13b View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Merge branch 'master' into fiberedcategories_stronglycartesian

    @callesonne
    callesonne committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    6e831c1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/leanprover-community/math… 

    …lib4 into fiberedcategories_hasfibers
    @callesonne
    callesonne committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    cdab458 View commit details
    Browse the repository at this point in the history

  3. merge fix

    @callesonne
    callesonne committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    f0dcc6f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'fiberedcategories_isfibered' into fiberedcategories_has… 

    …fibers
    @callesonne
    callesonne committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    fec249d View commit details
    Browse the repository at this point in the history

  5. merge fix

    @callesonne
    callesonne committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    86a998c View commit details
    Browse the repository at this point in the history

  6. Update Mathlib/CategoryTheory/FiberedCategory/HasFibers.lean 

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

Commits on Jul 19, 2024

  1. Merge branch 'master' of https://github.com/leanprover-community/math… 

    …lib4 into fiberedcategories_isfibered
    @callesonne
    callesonne committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    7342a38 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Merge branch 'master' of https://github.com/leanprover-community/math… 

    …lib4 into fiberedcategories_isfibered
    @callesonne
    callesonne committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    c65124c View commit details
    Browse the repository at this point in the history

  2. merge fix

    @callesonne
    callesonne committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    e9bd4a4 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2024

  1. Merge branch 'master' of https://github.com/leanprover-community/math… 

    …lib4 into fiberedcategory_fiber
    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    c12a811 View commit details
    Browse the repository at this point in the history

  2. Update Mathlib.lean 

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

  3. Merge branch 'fiberedcategories_isfibered' into fiberedcategory_fiber

    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    7415481 View commit details
    Browse the repository at this point in the history

  4. mk_all

    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    60a0430 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'fiberedcategory_fiber' of https://github.com/leanprover… 

    …-community/mathlib4 into fiberedcategory_fiber
    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    3a7ef87 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'fiberedcategory_fiber' into fiberedcategories_hasfibers

    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    bc49ea4 View commit details
    Browse the repository at this point in the history

  7. mk_all

    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    e6a39d5 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'fiberedcategories_hasfibers' of https://github.com/lean… 

    …prover-community/mathlib4 into fiberedcategories_hasfibers
    @callesonne
    callesonne committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    9c82128 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. Merge branch 'master' of https://github.com/leanprover-community/math… 

    …lib4 into fiberedcategories_hasfibers
    @callesonne
    callesonne committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    0383e48 View commit details
    Browse the repository at this point in the history

  2. progress

    @callesonne
    callesonne committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    097cca7 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. fix errors

    @callesonne
    callesonne committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    f3f54e3 View commit details
    Browse the repository at this point in the history

  2. fix final error

    @callesonne
    callesonne committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    3e55b0a View commit details
    Browse the repository at this point in the history

  3. fix

    @callesonne
    callesonne committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    0aadff6 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Joël Riou <[email protected]>
    @callesonne @joelriou
    callesonne and joelriou authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    895efbd View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. fix more of Joël's suggestion

    @callesonne
    callesonne committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    222c5af View commit details
    Browse the repository at this point in the history