Theorem Mathlib.Tactic.Abel.const_add_termg

Modification history