Theorem zpow_right_mono

Modification history

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