This result records Existence and Homotopy Uniqueness of Projective and Injective Resolutions as part of the basic toolkit of homological algebra. It supports work with complexes, exact sequences, homology, projective and injective modules, and resolutions.