Theorem Mathlib.Tactic.Ring.coeff_one

Modification history