Theorem zpow_le_zpow_right

Modification history

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