Theorem Mathlib.Tactic.FieldSimp.zero_zpow'

Modification history