mathlib3
feat(data/polynomial): generalize theorems from nonzero_comm_ring to comm_ring
#653
Merged
Overview
Commits
2
Changes
View On GitHub

feat(data/polynomial): generalize theorems from nonzero_comm_ring to comm_ring #653

johoelzl merged 2 commits into leanprover-community:master from ChrisHughes24:patch-4
ChrisHughes24
ChrisHughes24 feat(data/polynomial): generalize theorems from `nonzero_comm_ring` t…
74470a58
ChrisHughes24 remove commented out code
1ae89c37
johoelzl johoelzl merged a480160a into master 7 years ago
ChrisHughes24 ChrisHughes24 deleted the patch-4 branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum