Theorem Mathlib.Tactic.Abel.subst_into_smulg

Modification history