Theorem Mathlib.Tactic.Ring.pow_zero

Modification history