Theorem isCompact_generateFrom

Modification history

2025-05-14 22:22
Mathlib/Topology/Compactness/Compact.lean
feat(Topology/Subbasis): prove Alexander Subbasis Theorem (#24856) …
Added isCompact_generateFromView on Github →