Theorem zpow_left_monoOn₀

Modification history

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