Yes and yes, but *conditional* compactness is different, and Cauchy sequences ar...

		tempfile on July 23, 2024 \| parent \| context \| favorite \| on: Turing's topological proof that every written alph... Yes and yes, but conditional compactness is different, and Cauchy sequences are not always convergent. That's why I mentioned completeness.