Commit 2023-04-05 13:20 5b38e895

View on Github →

chore: capitalization of C and X in Polynomial lemmas (#3284)

Estimated changes

Modified Mathlib/Algebra/Polynomial/BigOperators.lean

added theorem Polynomial.prod_X_sub_C_nextCoeff

deleted theorem Polynomial.prod_x_sub_c_nextCoeff

Modified Mathlib/RingTheory/Polynomial/Content.lean

added theorem Polynomial.isPrimitive_iff_isUnit_of_C_dvd

deleted theorem Polynomial.isPrimitive_iff_isUnit_of_c_dvd