Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-01-18 05:20
d548d92e
View on Github →
chore(ring_theory/polynomial): remove decidable_eq assumptions (
#1890
)
Estimated changes
Modified
src/ring_theory/polynomial.lean
modified
theorem
is_noetherian_ring_mv_polynomial_of_fintype