mathlib
40fb7017 - feat(data/mv_polynomial): some lemmas on constant_coeff and rename (#4231)

Commit

5 years ago

feat(data/mv_polynomial): some lemmas on constant_coeff and rename (#4231) Snippet from the Witt project Co-Authored-By: Rob Y. Lewis <rob.y.lewis@gmail.com>

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

Parents

8461a7d3

mathlib 40fb7017 - feat(data/mv_polynomial): some lemmas on constant_coeff and rename (#4231)

mathlib
40fb7017 - feat(data/mv_polynomial): some lemmas on constant_coeff and rename (#4231)