Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
gave finite intersection property an entry, added statement and proof of the corresponding characterization of compact topological spaces. Pointed to this from Tychonoff theorem, where the statement is used.
1 to 1 of 1