Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.map_mul_inv

Modification history

2021-12-10 13:26

src/algebra/group/hom.lean

feat(*): introduce classes for types of homomorphism (#9888) …

Deleted monoid_hom.map_mul_inv View on Github →

2019-08-21 05:42

src/algebra/group/hom.lean

refactor(*): rewrite `to_additive` attribute (#1345) …

Added monoid_hom.map_mul_inv View on Github →