mathlib3
refactor(algebra/associated): rename nonzero_of_irreducible to ne_zero_of_irreducible
#1009
Merged
Overview
Commits
2
Changes
View On GitHub

refactor(algebra/associated): rename nonzero_of_irreducible to ne_zero_of_irreducible #1009

mergify merged 2 commits into master from CH-nonzero
ChrisHughes24
ChrisHughes24 refactor(algebra/associated): rename nonzero_of_irreducible to ne_zer…
da3ec502
ChrisHughes24 ChrisHughes24 requested a review 6 years ago
jcommelin
jcommelin approved these changes on 2019-05-11
jcommelin jcommelin added ready-to-merge
Merge branch 'master' into 'CH-nonzero'
c5c916cf
mergify mergify merged 8603e6b0 into master 6 years ago
mergify mergify deleted the CH-nonzero branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum