Theorem Mathlib.Tactic.FieldSimp.NF.pow_apply

Modification history