Commit 2018-05-09 11:41 54df4d9c
View on Github →feat(linear_algebra/multivariate_polynomial): change order of eval arguments; show that eval is ring homomorphism (closes https://github.com/leanprover/mathlib/pull/134)
feat(linear_algebra/multivariate_polynomial): change order of eval arguments; show that eval is ring homomorphism (closes https://github.com/leanprover/mathlib/pull/134)