Theorem Mathlib.Tactic.Ring.horner_atom

Modification history