colimits): Change `comm_ring` to `ring`. (#11837)

Commit

3 years ago

fix(algebra/Module/colimits): Change `comm_ring` to `ring`. (#11837) ... despite the well-known fact that all rings are commutative.

Author

adamtopaz

Parents