Theorem IsClosed.sigmaCompactSpace

Modification history

2023-10-30 11:10

Mathlib/Topology/Compactness/SigmaCompact.lean

chore(Topology/Compactness/SigmaCompact): rename type variables (#7730) …

Modified IsClosed.sigmaCompactSpace View on Github →

2023-10-11 21:40

Mathlib/Topology/Compactness/Compact.lean

chore(Topology/SubsetProperties): Refactor SubsetProperties.lean (#7628) …

Modified IsClosed.sigmaCompactSpace View on Github →

2023-05-29 07:37

Mathlib/Topology/SubsetProperties.lean

feat: add `SigmaCompactSpace` instances (#4458) …

Added IsClosed.sigmaCompactSpace View on Github →