Theorem Homeomorph.paracompactSpace_iff

Modification history

2023-04-17 10:44

Mathlib/Topology/Paracompact.lean

feat: the product of a compact space and a paracompact space is a paracompact space (#3296)

Added Homeomorph.paracompactSpace_iff View on Github →