Theorem zpow_left_mono

Modification history

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