Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-17 01:53 d9daa102

View on Github →

chore(group_theory): fixups

Estimated changes

Modified algebra/group.lean

deleted theorem is_group_anti_hom.mul

deleted def is_group_anti_hom

deleted theorem is_group_hom.mul

deleted def is_group_hom

Modified group_theory/coset.lean

added def left_rel

Modified group_theory/order_of_element.lean

Modified group_theory/subgroup.lean

modified theorem is_group_hom.inj_iff_trivial_ker

modified theorem is_group_hom.trivial_ker_of_inj

modified theorem is_subgroup.trivial_eq_closure

Modified group_theory/submonoid.lean