Def Mathlib.Tactic.FieldSimp.qNF.onExponent

Modification history