Theorem zpow_strictMono_right

Modification history

2023-12-18 07:15
Mathlib/Algebra/GroupPower/Lemmas.lean
chore: Rename pow monotonicity lemmas (#9095) …
Deleted zpow_strictMono_rightView on Github →
2022-12-21 11:12
Mathlib/Algebra/GroupPower/Lemmas.lean
chore: tidy various files (#1145)
Added zpow_strictMono_rightView on Github →