mathlib

17cba543 - feat(data/int/basic): sign raised to an odd power (#7559)

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. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>