Orthocompactness implies \(\varDelta\)-paracompactness for the product of a \(\varDelta\)-paracompact normal space and a compact space

From MaRDI portal
Publication:2017864