Theorem Mathlib.Tactic.Ring.horner_pow

Modification history