Theorem compactSpace_generateFrom

Modification history

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