Loading paper
Graded-irreducible modules are irreducible | Tomesphere