Theorem neg_mul

Modification history

2022-11-20 21:39

Mathlib/Algebra/Ring/Basic.lean

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

Modified neg_mul View on Github →

2022-11-01 23:28

Mathlib/Algebra/Ring/Basic.lean

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

Added neg_mul View on Github →