Theorem Int.sign_mul_self_eq_abs

Modification history

2024-12-10 02:59
Mathlib/Algebra/Order/Group/Unbundled/Int.lean
feat: more `Int.ediv` lemmas (#19754)
Added Int.sign_mul_self_eq_absView on Github →