Theorem Mathlib.Tactic.Ring.pow_nat

Modification history