Theorem Mathlib.Tactic.FieldSimp.mul_zpow'

Modification history