Theorem CompactlyCoherentSpace.isOpen_iff

Modification history

2025-06-03 15:37
Mathlib/Topology/Compactness/CompactlyCoherentSpace.lean
feat: a weaker definition of compactly generated spaces (#21237) …
Added CompactlyCoherentSpace.isOpen_iffView on Github →