Theorem mul_neg

Modification history

2022-11-20 21:39

Mathlib/Algebra/Ring/Basic.lean

feat: port Algebra.Ring.Defs (#655) …

Modified mul_neg View on Github →

2022-11-01 23:28

Mathlib/Algebra/Ring/Basic.lean

feat: `ring_exp` tactic, subtraction in `ring` (#519) …

Added mul_neg View on Github →