Def Mathlib.Tactic.Ring.evalPowProd

Modification history