Commit 2021-02-02 14:43 ff05d3af
View on Github →feat(algebra/group_power/lemmas): sign of even/odd powers (#5990) Added theorems about the sign of even and odd natural powers.
feat(algebra/group_power/lemmas): sign of even/odd powers (#5990) Added theorems about the sign of even and odd natural powers.