basic): reduce assumptions, golf (#13800)

Commit

3 years ago

feat(ring_theory/polynomial/basic): reduce assumptions, golf (#13800) There is some reorder, so the diff is a bit large. Sorry for that.

Author

astrainfinita

Parents