Commit 2019-09-19 15:32 ce105fda
View on Github →chore(algebra/group): rename as_monoid_hom
into monoid_hom.of
, define ring_hom.of
(#1443)
- chore(algebra/group): rename
as_monoid_hom
intomonoid_hom.of
This is similar toMon.of
etc. - Fix compile
- Docs, missing universe
- Move variables declaration up as suggested by @jcommelin
- doc-string