Theorem zpow_lt_zpow_left₀

Modification history

2025-12-26 12:38
Mathlib/Algebra/Order/GroupWithZero/Unbundled/Basic.lean
feat: zpow left ₀ lemmas (#33051) …
Added zpow_lt_zpow_left₀View on Github →