Theorem IsCompact.elim_directed_family_closed

Modification history

2024-10-14 12:17
Mathlib/Topology/Compactness/Compact.lean
chore: unused arguments (#17348)
Modified IsCompact.elim_directed_family_closedView on Github →
2023-06-23 06:08
Mathlib/Topology/SubsetProperties.lean
remove conditional completeness assumption in `IsCompact.exists_isMinOn` (#5388) …
Added IsCompact.elim_directed_family_closedView on Github →