Theorem Mathlib.Tactic.FieldSimp.one_zpow'

Modification history