Theorem Mathlib.Tactic.FieldSimp.zpow'_one

Modification history