Two different sources use two different sets of assumptions for the Poisson distribution as a limiting case of the binomial distribution. This video sets $$n\rightarrow\infty, p\rightarrow0, np\rightarrow\lambda$$
And this sets $$n\rightarrow\infty, np=\lambda$$
The derivation remains the same. Is there any difference between the implications of these assumptions, and if so, what is it? If there is no difference, can we derive one from the other?
There is no difference. Assuming $\lambda > 0$, the condition $np = \lambda$ implies that as $n \to \infty$, we must have $p \to 0^+$.
Conversely, we only require $np \to \lambda$ asymptotically, rather than identically, as long as both $n \to \infty$ and $p \to 0^+$. (Some sources omit the $+$ because it is understood that $0 < p < 1$.) In fact, this (first) characterization is slightly more general than the second, but in practice, nothing is lost by assuming $np = \lambda$.