Both in Wikipedia and in the video it is mentioned that the external potential is a unique functional of the electron density. The video also explains the functions of external potential to inda function and wave function to density as surjectives, also considering one-to-one relationships of the bijective type for the aforementioned functions.