Theorem Mathlib.Tactic.Ring.horner_const_mul

Modification history