Theorem Mathlib.Tactic.FieldSimp.list_prod_zpow'

Modification history