While in this course the Hohenberg-Kohn theorem is explained in terms of maps between the space of external potentials, their wavefunction solutions and ground state densities being bijective, the one from e.g. wikipedia states that when two systems have the same ground states densities, that they correspond to systems where the external potential only differs by a constant.

I think this can be translated to the statement that the map C o D is injective.