Def Mathlib.Tactic.FieldSimp.reduceEq

Modification history