Theorem Mathlib.Tactic.Ring.add_pos_right

Modification history