Mathlib Changelog
v4
Changelog
About
Github
Theorem
HereditarilyLindelofSpace.isLindelof
Modification history
2026-01-21 19:37
Mathlib/Topology/Compactness/Lindelof.lean
feat(HereditarilyLindelof): review and expand API (#33897)
Added
HereditarilyLindelofSpace.isLindelof
View on Github →