Theorem Mathlib.Tactic.FieldSimp.zpow'_add

Modification history