Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
[Merged by Bors] - chore(algebra): displace zero_ne_one_class with nonzero and make no_zero_divisors a Prop #2847
[Merged by Bors] - chore(algebra): displace zero_ne_one_class with nonzero and make no_zero_divisors a Prop #2847
Changes from all commits
d1df178
889420a
e142e51
8fc64cc
ba5497a
4f7929c
3a0f538
217edd8
5fcca92
46b0420
42f4d11
24c18fb
ce14467
d34f6f2
778c52d
797c796
16880d2
953c707
7c51a9c
1001e52
1bfa31b
a0d1d13
d3146b3
09263be
e09e2ad
2f93b3e
95897ff
821eb6c
19f41df
acf8982
d4fe0eb
27cd8a3
f51a240
4bacb83
0b3ca61
b0a7e7e
b1382b2
6110deb
396edbf
b315a3e
77b7f76
eb3fbe4
da3bf8e
3d96bc9
94a474f
a0a6e6f
44db175
aa83f7f
5f693c0
30ffafe
f7835fa
ae3abc2
6fb14e9
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing