Referenced by:

• topology-finite-product-topology