odd powers (#5990)

Commit

4 years ago

feat(algebra/group_power/lemmas): sign of even/odd powers (#5990) Added theorems about the sign of even and odd natural powers.

Author

benjamindavidson

Parents