basic): remove unnecessary commutativity assumption (#3535)

Commit

5 years ago

feat(ring_theory/polynomial/basic): remove unnecessary commutativity assumption (#3535)

Author

jalex-stark

Parents