Theorem Mathlib.Tactic.FieldSimp.NF.eval_pow

Modification history