Theorem Mathlib.Tactic.ComputeDegree.coeff_congr

Modification history