Minimal Projective Resolutions for Comodules