Modules satisfying double chain condition on nonfinitely generated submodules have Krull dimension

From MaRDI portal