feat(algebra/group_power/lemmas): sign of even/odd powers (#5990)
feat(algebra/group_power/lemmas): sign of even/odd powers (#5990)

Added theorems about the sign of even and odd natural powers.




leanprover-community/mathlib,leanprover-community/mathlib