Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-10 16:44 17cba543

View on Github →

feat(data/int/basic): sign raised to an odd power (#7559) Since sign is either -1, 0, or 1, it is unchanged when raised to an odd power.

Estimated changes