Def Mathlib.Tactic.Ring.evalHorner

Modification history