Theorem Mathlib.Tactic.FieldSimp.zpow'_neg

Modification history