Add reduced-product-subspace (promoter review, p2)

This greatly improves proof of \ref{lem:manifold-homeo} lemma