Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - refactor(algebra/add_torsor): use to_additive for add_action #6914

Closed
wants to merge 14 commits into from
Closed

[Merged by Bors] - refactor(algebra/add_torsor): use to_additive for add_action #6914

wants to merge 14 commits into from

Commits on Mar 27, 2021

  1. Snaspshot

    @urkud
    urkud committed Mar 27, 2021
    Configuration menu
    Copy the full SHA
    5964afa View commit details
    Browse the repository at this point in the history

  2. Fix

    @urkud
    urkud committed Mar 27, 2021
    Configuration menu
    Copy the full SHA
    196dbeb View commit details
    Browse the repository at this point in the history

  3. Fix

    @urkud
    urkud committed Mar 27, 2021
    Configuration menu
    Copy the full SHA
    d58d112 View commit details
    Browse the repository at this point in the history

  4. Fix lint

    @urkud
    urkud committed Mar 27, 2021
    Configuration menu
    Copy the full SHA
    bca5bc6 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2021

  1. Update src/group_theory/group_action/defs.lean 

    Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
    @urkud @eric-wieser
    urkud and eric-wieser committed Mar 28, 2021
    Configuration menu
    Copy the full SHA
    e03bce9 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2021

  1. Docs

    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    f123ae0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'smul-to-add' of git://github.com/leanprover-community/m… 

    …athlib into smul-to-add
    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    33da09b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into smul-to-add

    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    7e29f4b View commit details
    Browse the repository at this point in the history

  4. Fix

    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    0cb797e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into smul-to-add

    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    625e4ec View commit details
    Browse the repository at this point in the history

  6. Add doc

    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    82c6996 View commit details
    Browse the repository at this point in the history

  7. Fix

    @urkud
    urkud committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    8f0b98c View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2021

  1. Merge branch 'master' into smul-to-add

    @urkud
    urkud committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    62cccf1 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2021

  1. Follow suggestions in code review

    @urkud
    urkud committed Apr 1, 2021
    Configuration menu
    Copy the full SHA
    8c5a5e0 View commit details
    Browse the repository at this point in the history