Theorem isArtinian_of_quotient_of_artinian

Modification history

2023-08-25 14:43
Mathlib/RingTheory/Artinian.lean
refactor: golf #6309 (#6676) …
Deleted isArtinian_of_quotient_of_artinianView on Github →
2023-05-21 22:16
Mathlib/RingTheory/Artinian.lean
feat: port RingTheory.Artinian (#4104)
Added isArtinian_of_quotient_of_artinianView on Github →