feat(ring_theory/polynomial): mv_polynomial.integral_domain #2021
mergify
merged
15 commits into
master
from
mvpoly-int-dom
feat(ring_theory/polynomial): mv_polynomial.integral_domain
c632c0df
Add docstrings
73eabe16
Add docstrings
bf9a18f2
Fix import
1ff27337
Fix build
63530c24
Please linter, please
4db334a3
jcommelin
commented
on 2020-02-21
Update src/algebra/ring.lean
35196a43
kim-em
commented
on 2020-02-22
kim-em
commented
on 2020-02-22
kim-em
commented
on 2020-02-22
ChrisHughes24
commented
on 2020-02-24
Merge branch 'lean-3.5.1' into mvpoly-int-dom
6d77f5cb
Clean up code, process comments
8e954c47
Merge branch 'mvpoly-int-dom' of github.com:leanprover-community/math…
28a2649c
Update src/data/equiv/fin.lean
9a237e4e
Update src/data/equiv/fin.lean
e04daea8
Update src/data/equiv/fin.lean
b633f269
sgouezel
commented
on 2020-02-26
Update src/ring_theory/polynomial.lean
07e78b90
kim-em
approved these changes
on 2020-02-26
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into mvpoly-int-dom
cd39f0ee
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub