Theorem Mathlib.Tactic.Ring.mul_exp_pos

Modification history