Theorem is_noetherian_ring_mv_polynomial_of_fintype
Modification history
2020-02-26 23:31
src/ring_theory/polynomial.lean
feat(ring_theory/polynomial): mv_polynomial.integral_domain (#2021) …
Deleted is_noetherian_ring_mv_polynomial_of_fintypeView on Github →