Def Mathlib.Tactic.Ring.evalConstMul

Modification history