Theorem Mathlib.Tactic.Abel.unfold_smul

Modification history