mathlib3
feat(group_theory/congruence): create file about congruence relations
#1690
Merged
Merged
feat(group_theory/congruence): create file about congruence relations #1690
mergify
merged
10 commits into
master
from
congruence
add congruence.lean
a2861956
add has_mul
624ba07e
Merge branch 'master' of https://github.com/leanprover-community/math…
da91bf14
sgouezel
commented
on 2019-11-15
add definition of congruence relation
fc154172
Merge branch 'master' of https://github.com/leanprover-community/math…
f59e9147
Merge branch 'congruence' of https://github.com/leanprover-community/…
cf4070a2
minor changes
7a595ef1
responding to review comments
eb7454e0
fix docstring mistake in setoid.lean
1540fe72
ChrisHughes24
approved these changes
on 2019-11-18
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into congruence
8a7261ae
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub