Theorem mv_polynomial.eval_unique
Modification history
2020-10-22 07:48
src/data/mv_polynomial/basic.lean
feat(algebra/monoid_algebra): define a non-commutative version of `lift` (#4725) …
Deleted mv_polynomial.eval_uniqueView on Github →2020-09-22 14:52
src/data/mv_polynomial/basic.lean
chore(data/mv_polynomial): Rename variables (#4208) …
Modified mv_polynomial.eval_uniqueView on Github →2020-09-09 08:45
src/data/mv_polynomial.lean
refactor(data/mv_polynomial): split into multiple files (#4070) …
Modified mv_polynomial.eval_uniqueView on Github →2020-04-02 05:51
src/data/mv_polynomial.lean
refactor(*): move `algebra` below `polynomial` in the `import` chain (#2294) …
Modified mv_polynomial.eval_uniqueView on Github →2019-01-27 22:50
src/ring_theory/algebra.lean
feat(ring_theory/algebra): remove out_param
Modified mv_polynomial.eval_uniqueView on Github →