Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-10 09:44 e1312b4d

View on Github →

feat(group_theory/perm): signatures of permutations (#231)

Estimated changes

modified theorem is_group_anti_hom.prod
modified theorem is_group_hom.prod
added def is_conj
added theorem is_conj_iff_eq
added theorem is_conj_refl
added theorem is_conj_symm
added theorem is_conj_trans
modified theorem equiv.inverse_trans_apply
added theorem equiv.refl_trans
added theorem equiv.swap_inv
added theorem equiv.symm_trans
added theorem equiv.trans_refl
added theorem equiv.trans_symm
added theorem finset.card_attach_fin
added theorem finset.mem_attach_fin
added theorem finset.mem_sort
added theorem fintype.card_units_int
added theorem multiset.mem_sort
added def equiv.perm.sign
added theorem equiv.perm.sign_swap