Yes, if you understand the tensor product topology in the right way. Since the spaces are nuclear, inductive and projective tensor products coincide. The result is theorem 51.6 of Treves: Topological vector spaces, distributions, and kernels.
Peter Michor
- 25.3k
- 2
- 64
- 112