Theorem Mathlib.Tactic.FieldSimp.zpow'_of_ne_zero_right

Modification history