Theorem Mathlib.Tactic.Ring.pow_atom

Modification history