Theorem eq_open_union_countable

Modification history

2026-01-21 19:37

Mathlib/Topology/Compactness/Lindelof.lean

feat(HereditarilyLindelof): review and expand API (#33897)

Modified eq_open_union_countable View on Github →

2024-01-19 10:45

Mathlib/Topology/Compactness/Lindelof.lean

feat: add Lindelöf spaces and sets (#9107) …

Added eq_open_union_countable View on Github →