Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(analysis/convex/cone/basic): add has_add, add_zero_class, and add_comm_semigroup instances to convex_cone #16213

Closed
wants to merge 38 commits into from
Closed

[Merged by Bors] - feat(analysis/convex/cone/basic): add has_add, add_zero_class, and add_comm_semigroup instances to convex_cone #16213

wants to merge 38 commits into from

Commits on Jul 23, 2022

  1. add dual_of_dual

    @apurvnakade
    apurvnakade committed Jul 23, 2022
    Configuration menu
    Copy the full SHA
    331d094 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2022

  1. Merge branch 'master' into apurva/dual-of-dual

    @apurvnakade
    apurvnakade committed Jul 30, 2022
    Configuration menu
    Copy the full SHA
    818edea View commit details
    Browse the repository at this point in the history

  2. fix merge error

    @apurvnakade
    apurvnakade committed Jul 30, 2022
    Configuration menu
    Copy the full SHA
    41695bd View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. Apply suggestions from code review 

    Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
    @apurvnakade @eric-wieser
    apurvnakade and eric-wieser committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    4dbccad View commit details
    Browse the repository at this point in the history

  2. Add the 0 convex_cone.

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    e676c6e View commit details
    Browse the repository at this point in the history

  3. Add a few comments.

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    ab93e72 View commit details
    Browse the repository at this point in the history

  4. Add suggestions

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    6c857f1 View commit details
    Browse the repository at this point in the history

  5. Add doc strings.

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    896b601 View commit details
    Browse the repository at this point in the history

  6. Fix lint error.

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    b6744ab View commit details
    Browse the repository at this point in the history

  7. Remove small redundancy

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    85e1aae View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into apurva/dual-of-dual

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    e320327 View commit details
    Browse the repository at this point in the history

  9. Remove duplicates from merging

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    73c6659 View commit details
    Browse the repository at this point in the history

  10. Fix lint.

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    f9297b9 View commit details
    Browse the repository at this point in the history

  11. Move has_zero to previous section.

    @apurvnakade
    apurvnakade committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    d7fe142 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. Fix mem_coe -> coe_mem

    @apurvnakade
    apurvnakade committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    66e0418 View commit details
    Browse the repository at this point in the history

  2. Minor rename.

    @apurvnakade
    apurvnakade committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    fe85834 View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
    @apurvnakade @eric-wieser
    apurvnakade and eric-wieser committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    0c62fa1 View commit details
    Browse the repository at this point in the history

  4. Trying coe fix.

    @apurvnakade
    apurvnakade committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    4e45414 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2022

  1. Finally, fix coe errors using set_like

    @apurvnakade
    apurvnakade committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    8022b48 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

  1. Fix name

    @apurvnakade
    apurvnakade committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    8a089ca View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2022

  1. Apply suggestions from code review 

    Co-authored-by: mcdoll <moritz.doll@googlemail.com>
    @apurvnakade @mcdoll
    apurvnakade and mcdoll committed Aug 21, 2022
    Configuration menu
    Copy the full SHA
    0a510c0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'apurva/dual-of-dual' of github.com:leanprover-community… 

    …/mathlib into apurva/dual-of-dual
    @apurvnakade
    apurvnakade committed Aug 21, 2022
    Configuration menu
    Copy the full SHA
    974766a View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review

    @apurvnakade
    apurvnakade committed Aug 21, 2022
    Configuration menu
    Copy the full SHA
    37c2c3b View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2022

  1. Add has_add

    @apurvnakade
    apurvnakade committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    3a4cb08 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'apurva/dual-of-dual' into apurva/cone-has-add

    @apurvnakade
    apurvnakade committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    7f19912 View commit details
    Browse the repository at this point in the history

  3. Add add_comm_semigroup

    @apurvnakade
    apurvnakade committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    f90fa0f View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

  1. Compactify add_zero_class

    @apurvnakade
    apurvnakade committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    c1fd6f6 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2022

  1. Merge branch 'master' into apurva/cone-has-add

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    cb536a4 View commit details
    Browse the repository at this point in the history

  2. Fix indentation

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    09cdda9 View commit details
    Browse the repository at this point in the history

  3. Remove redundant coe_add

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    11dbd77 View commit details
    Browse the repository at this point in the history

  4. Trying out direct def of has_add

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    8907dd7 View commit details
    Browse the repository at this point in the history

  5. Add reducible to set.has_add

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    bed25bc View commit details
    Browse the repository at this point in the history

  6. Add reducible to set.has_add

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    10ac3a8 View commit details
    Browse the repository at this point in the history

  7. Minor fix

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    41b4388 View commit details
    Browse the repository at this point in the history

  8. Fix lint error

    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    9660089 View commit details
    Browse the repository at this point in the history

  9. Revert "Add reducible to set.has_add" 

    This reverts commit bed25bc.
    @apurvnakade
    apurvnakade committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    ed32f48 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. Merge branch 'master' into apurva/cone-has-add

    @apurvnakade
    apurvnakade committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    0a91839 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

  1. Update src/analysis/convex/cone/basic.lean 

    Co-authored-by: mcdoll <moritz.doll@googlemail.com>
    @apurvnakade @mcdoll
    apurvnakade and mcdoll committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    32d145d View commit details
    Browse the repository at this point in the history