Theorem Pi.isCompact_closure_iff

Modification history

2024-12-18 10:57
Mathlib/Topology/Separation/Basic.lean
chore(Topology/Separation): split large file (#20031) …
Modified Pi.isCompact_closure_iffView on Github →
2024-02-02 13:15
Mathlib/Topology/Separation.lean
feat: add some consequences of Tychonoff's theorem (#10161) …
Added Pi.isCompact_closure_iffView on Github →