PlanetPhysics/Proper Generator Theorem
\begin{theorem} Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category. \end{theorem}
\begin{theorem} Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category. \end{theorem}