Commit 2019-08-26 17:11 cc04ba7e
View on Github →chore(algebra/ring): change semiring_hom to ring_hom (#1361)
- added bundled ring homs
- removed comment
- Tidy and making docstrings consistent
- fix spacing
- fix typo Co-Authored-By: Johan Commelin johan@commelin.net
- fix typo Co-Authored-By: Johan Commelin johan@commelin.net
- whoops, actually removing instances
- change semiring_hom to ring_hom
- corrected docstring