Theorem Mathlib.Tactic.FieldSimp.NF.eval_cons

Modification history