Template:DP-closed metric property

From Diffgeom

Direct product-closedness

This property of a Riemannian metric on a differential manifold is closed under taking direct products of manifolds