Theorem mabs_mul

Modification history

2025-09-19 16:11

Mathlib/Algebra/Order/Group/Abs.lean

chore(Algebra): avoid duplicating proofs by reusing existing theorems or lemmas (#27847)

Deleted mabs_mul View on Github →

2025-03-15 13:13

Mathlib/Algebra/Order/Group/Abs.lean

chore(Order/Group/Abs): use `@[to_additive]` (#22468)

Added mabs_mul View on Github →