Theorem Mathlib.Tactic.FieldSimp.NF.eval_cons_mul_eval_cons_neg

Modification history