Theorem Mathlib.Tactic.Abel.zero_smulg

Modification history