Projectivity and flatness over the endomorphism ring of a finitely generated comodule.
scientific article; zbMATH DE number 5345496