  The stability of the class of projectively coresolved Gorenstein flat
modules, under the very Gorenstein process used to define them, is proven in
this paper. Moreover, a new characterization of the projectively coresolved
Gorenstein flat dimension is given.
