Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-06 18:20 7b120a35

View on Github →

feat(data/mv_polynomial): add pderivative_eq_zero_of_not_mem_vars (#2324)

  • feat(data/mv_polynomial): add pderivative_eq_zero_of_not_mem_vars
  • Added doc comment for pderivative.add_monoid_hom
  • Fix formatting
  • fixed issues from review
  • change begin end to braces.
  • fix issues from review

Estimated changes

added theorem mv_polynomial.as_sum