Theorem Mathlib.Tactic.FieldSimp.zpow'_ofNat

Modification history