Mathlib v3 is deprecated. Go to Mathlib v4

Theorem group_hom.one

Modification history

2018-01-04 09:05
algebra/group.lean
refactor(algebra/group): clean up PR commit
Deleted group_hom.oneView on Github →
2018-01-02 16:52
algebra/group.lean
Group morphisms (#30) …
Added group_hom.oneView on Github →