Commit 2019-06-11 17:46 98ece77e
View on Github →refactor(algebra/group): split into smaller files (#1121)
- rename
src/algebra/group.lean
→src/algebra/group/default.lean
- Split algebra/group/default into smaller files No code changes, except for variables declaration and imports
- Fix compile
- fix compile error: import
anti_hom
inalgebra/group/default
- Drop unused imports