Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-26 11:55 34a33172

View on Github →

feat(group_theory/perm/sign): power has smaller support (#6872) The support of g ^ n is contained in the support of g.

Estimated changes