Theorem Mathlib.Tactic.Abel.term_smul

Modification history