Theorem Mathlib.Tactic.FieldSimp.NF.zpow_apply

Modification history