Theorem map_mul_eq_one

Modification history

2024-05-31 00:19

Mathlib/Algebra/Group/Hom/Defs.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified map_mul_eq_one View on Github →

2022-12-02 23:34

Mathlib/Algebra/Hom/Group.lean

feat: port Algebra.Hom.Group (#659) …

Added map_mul_eq_one View on Github →