Theorem Mathlib.Tactic.Ring.add_le_add_left

Modification history

2025-11-22 20:23
Mathlib/Tactic/Ring/Compare.lean
chore: rename `mul_le_mul_right'` to `mul_le_mul_left` (#30242)
Added Mathlib.Tactic.Ring.add_le_add_leftView on Github →