Theorem Mathlib.Tactic.Ring.single_pow

Modification history