The lecture presents the idea of the injectivity of the external potential and the density of the system, thus showing that any observable can be written as a functional of the density.
The wikipedia entry highlights the HK functional and that the spectrum of the Hamiltonian is a functional of the density.