Theorem Pi.isCompact_iff_of_isClosed

Modification history

2024-02-02 13:15
Mathlib/Topology/Compactness/Compact.lean
feat: add some consequences of Tychonoff's theorem (#10161) …
Added Pi.isCompact_iff_of_isClosedView on Github →