Theorem Mathlib.Tactic.FieldSimp.NF.eval_cons_of_pow_eq_zero

Modification history