Theorem Mathlib.Tactic.Ring.horner_mul_const

Modification history