Theorem mabs_zpow

Modification history

2024-01-18 17:23
Mathlib/Algebra/Order/Ring/Abs.lean
chore: Move order lemmas about `zpow` (#9805) …
Added mabs_zpowView on Github →