basic): remove commutativity requirement (#12208)

Commit

3 years ago

chore(ring_theory/graded_algebra/basic): remove commutativity requirement (#12208) This wasn't used

Author

eric-wieser

Parents