Theorem MvPolynomial.killCompl_C

Modification history

2024-03-24 08:11
Mathlib/Data/MvPolynomial/Rename.lean
feat: generalize `algHom_C`, add `killCompl_C` (#11205) …
Added MvPolynomial.killCompl_CView on Github →