The projective tensor product over C₀(X) of locally C₀(X)-convex non-degene-rate Banach C₀(X)-modules is again locally C₀(X)-convex.
The projective tensor product over C₀(X) of locally C₀(X)-convex non-degene-rate Banach C₀(X)-modules is again locally C₀(X)-convex.