Theorem Mathlib.Tactic.Ring.mul_pow

Modification history