Revision #3247 → #3770 · back to history
modifiedComposition of f and g0f2e1c34e406
| Field | From #3247 | To #3770 |
|---|
| mathlib.module | Mathlib.GroupTheory.Perm.Basic | Mathlib.Algebra.Group.End |
modifiedOrder reversing permutation1e7e63115825
| Field | From #3247 | To #3770 |
|---|
| mathlib.module | Mathlib.Order.Fin.Basic | Mathlib.Data.Fin.Rev |
modifiedReversal is an involutione1957fd137ab
| Field | From #3247 | To #3770 |
|---|
| mathlib.module | Mathlib.Order.Fin.Basic | Init.Data.Fin.Lemmas |
modifiedTransitive subgroupcd96c34c2b0b
| Field | From #3247 | To #3770 |
|---|
| mathlib.module | Mathlib.GroupTheory.GroupAction.Defs | Mathlib.Algebra.Group.Action.Pretransitive |
modifiedCyclic subgroup of a symmetric groupfd9178d51338
| Field | From #3247 | To #3770 |
|---|
| mathlib.module | Mathlib.GroupTheory.Subgroup.ZPowers | Mathlib.Algebra.Group.Subgroup.ZPowers.Basic |
addedKernel of sign is alternating group4b0a44f6707c
addedCycle notation representationa77e882ab7ef
addedCycle type of a permutationc70a910e156a
addedWreath product53341ab0e484