The Auslander–Reiten formula for comodule categories with applications to partial tilting comodules and tilting global dimension

From MaRDI portal