Wikipedia formulates the first Hohenberg-Kohn Theorem as:
“The external potential (and hence the total energy), is a unique functional of the electron density.”
This formulation really highlights the inversible nature of the correspondence between the electron density and the external potential, whereas the formulation in the video more so highlights the fact that the electron density contains all the necessary information to describe the system.