Theorem Mathlib.Tactic.FieldSimp.zpow'_mul

Modification history