Theorem zpow_le_zpow_left₀

Modification history

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