Theorem Mathlib.Tactic.FieldSimp.zpow'_zero_eq_div

Modification history