Theorem Mathlib.Tactic.FieldSimp.NF.eval_mul_eval_cons

Modification history