Mathlib Changelog
v4
Changelog
About
Github
Theorem
mabs_pow
Modification history
2024-01-18 17:23
Mathlib/Algebra/Order/Group/Abs.lean
chore: Move order lemmas about `zpow` (#9805) …
Added
mabs_pow
View on Github →