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(group_theory/congruence): quotients of monoids by congruence relations #1710

Merged
merged 17 commits into from Nov 20, 2019
Merged

feat(group_theory/congruence): quotients of monoids by congruence relations #1710

merged 17 commits into from Nov 20, 2019

Commits on Nov 14, 2019

  1. add congruence.lean

    @101damnations
    101damnations committed Nov 14, 2019
    Copy the full SHA
    a286195 View commit details
    Browse the repository at this point in the history

  2. add has_mul

    @101damnations
    101damnations committed Nov 14, 2019
    Copy the full SHA
    624ba07 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/leanprover-community/mathlib 

     into congruence
    @101damnations
    101damnations committed Nov 14, 2019
    Copy the full SHA
    da91bf1 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2019

  1. add definition of congruence relation

    @101damnations
    101damnations committed Nov 15, 2019
    Copy the full SHA
    fc15417 View commit details
    Browse the repository at this point in the history

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

     into congruence
    @101damnations
    101damnations committed Nov 15, 2019
    Copy the full SHA
    f59e914 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'congruence' of https://github.com/leanprover-community/… 

    …mathlib into congruence
    @101damnations
    101damnations committed Nov 15, 2019
    Copy the full SHA
    cf4070a View commit details
    Browse the repository at this point in the history

  4. minor changes

    @101damnations
    101damnations committed Nov 15, 2019
    Copy the full SHA
    7a595ef View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2019

  1. update mathlib

    @101damnations
    101damnations committed Nov 18, 2019
    Copy the full SHA
    a877488 View commit details
    Browse the repository at this point in the history

  2. Tidy up second half of congruence.lean

    @101damnations
    101damnations committed Nov 18, 2019
    Copy the full SHA
    1140c16 View commit details
    Browse the repository at this point in the history

  3. tidying docstrings

    @101damnations
    101damnations committed Nov 18, 2019
    Copy the full SHA
    6e987ab View commit details
    Browse the repository at this point in the history

  4. tidying

    @101damnations
    101damnations committed Nov 18, 2019
    Copy the full SHA
    6628f92 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of https://github.com/leanprover-community/mathlib 

     into congruence
    @101damnations
    101damnations committed Nov 18, 2019
    Copy the full SHA
    54b4e4c View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2019

  1. constructive 3rd isom in setoid used in congruence

    @101damnations
    101damnations committed Nov 19, 2019
    Copy the full SHA
    601f4cf View commit details
    Browse the repository at this point in the history

  2. remove import

    @101damnations
    101damnations committed Nov 19, 2019
    Copy the full SHA
    9e8b0f1 View commit details
    Browse the repository at this point in the history

  3. open namespaces earlier

    @101damnations
    101damnations committed Nov 19, 2019
    Copy the full SHA
    fc0fb78 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2019

  1. responding to PR comments

    @101damnations
    101damnations committed Nov 20, 2019
    Copy the full SHA
    776dfa0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into congruence

    @mergify
    mergify[bot] committed Nov 20, 2019
    Copy the full SHA
    54f8d6e View commit details
    Browse the repository at this point in the history