Theorem zpow_lt_zpow_iff_right

Modification history

2024-11-13 17:52
Mathlib/Algebra/Order/Group/Basic.lean
chore: rename zpow monotonicity lemmas (#18956) …
Added zpow_lt_zpow_iff_rightView on Github →