Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_noetherian_of_fg_of_noetherian'

Modification history

2020-09-29 04:58
src/ring_theory/noetherian.lean
feat(ring_theory/algebra_tower): Artin--Tate lemma (#4282)
Added is_noetherian_of_fg_of_noetherian'View on Github →