Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_group_hom.one

Modification history

2019-04-09 13:50

src/algebra/group.lean

refactor(*): rename is_group_hom.mul to map_mul (#911) …

Deleted is_group_hom.one View on Github →

2018-01-04 09:05

algebra/group.lean

refactor(algebra/group): clean up PR commit

Added is_group_hom.one View on Github →