Commit 2019-07-29 11:22 5adeebf1
View on Github →feat(algebra/group/hom): bundled monoid and group homs (#1271)
- feat(algebra/group/hom): adding bundled group homs
- adding module docstring
- moving some group stuff into monoid
- responding to PR comments
- mk'' -> mk'
- spaces before
}
- Update src/algebra/group/hom.lean
- Update src/algebra/group/hom.lean
- Update src/algebra/group/hom.lean
- Update src/algebra/group/hom.lean
- Update hom.lean