lemmas): add int.pow_right_injective (#8278)

Commit

4 years ago

feat(algebra/group_theory/lemmas): add int.pow_right_injective (#8278) Suggested here: https://github.com/leanprover-community/mathlib/pull/7843#discussion_r668167163

Author

apurvnakade

Parents

10975e6d

mathlib e67e50f5 - feat(algebra/group_theory/lemmas): add int.pow_right_injective (#8278)

mathlib
e67e50f5 - feat(algebra/group_theory/lemmas): add int.pow_right_injective (#8278)