In this course the explanation and formulation for the theorem is based on set theory, while in Wikipedia they explain and formulate using functional.
The main similarity is that in both formulation is emphasized the one to one correspondence and the possibility to calculate any property of the system from the ground state density