Theorem Mathlib.Tactic.ComputeDegree.coeff_congr_lhs

Modification history