Theorem Mathlib.Tactic.ComputeDegree.coeff_add_of_eq

Modification history