Def Mathlib.Tactic.FieldSimp.Sign.mkEqMul

Modification history