Theorem Mathlib.Tactic.FieldSimp.NF.eval_inv

Modification history