Theorem Mathlib.Tactic.FieldSimp.NF.eval_cons_mul_eval

Modification history