[consider good spaces so the objects and question make sense]
Who was the first to prove that the loop space of a product is homeomorphic to the product of the loop spaces? $$\Omega(X\times Y)\approx \Omega X\times \Omega Y$$
[any references are welcomed]