Theorem Mathlib.Tactic.FieldSimp.NF.eval_zpow'

Modification history