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

Merged

feat(data/mv_polynomial): add pderivative_eq_zero_of_not_mem_vars #2324

mergify merged 7 commits into master from pderivative-lemma

feat(data/mv_polynomial): add pderivative_eq_zero_of_not_mem_vars

c5a3ccfa

Added doc comment for `pderivative.add_monoid_hom`

be9ee1ec

jcommelin commented on 2020-04-04

Fix formatting

4798f7a1

kim-em commented on 2020-04-05

kim-em added awaiting-author

fixed issues from review

581bb97c

jcommelin commented on 2020-04-05

change begin end to braces.

2d01bfdc

jcommelin commented on 2020-04-06

fix issues from review

4df9d436

jcommelin approved these changes on 2020-04-06

jcommelin removed awaiting-author

jcommelin added ready-to-merge

Merge branch 'master' into pderivative-lemma

1e6bb45b

mergify merged 7b120a35 into master 5 years ago

mergify deleted the pderivative-lemma branch 5 years ago

Reviewers

jcommelin

kim-em

kbuzzard

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone