Theorem isArtinian_iff_submodule_quotient

Modification history

2024-10-07 17:59
Mathlib/RingTheory/Artinian.lean
feat: Noetherian/Artinian is closed under extensions (submodule form) (#17425) …
Added isArtinian_iff_submodule_quotientView on Github →