Loading paper
Finitely generated coreduced comultiplication modules | Tomesphere