Theorem zpow_left_strictMono

Modification history

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