Mathlib v3 is deprecated. Go to Mathlib v4

Def mv_polynomial.tmp.coe

Modification history

2019-10-23 12:50
src/data/mv_polynomial.lean
chore(src/data/mv_polynomial): doc comments and removing unused arguments (#1585) …
Deleted mv_polynomial.tmp.coeView on Github →
2019-06-01 20:38
src/data/mv_polynomial.lean
feat(data/mv_polynomial): add coeff for mv_polynomial (#1101)
Added mv_polynomial.tmp.coeView on Github →