Proof of $[0,1]~\text{disconnected}\implies(0,1)~\text{disconnected}$
3649
Closed unit interval is connected proof
158189
If $\{E_\alpha\}$ is connected, $\bigcap\limits_{\alpha\in A}E \neq \emptyset$, then $\bigcup\limits_{\alpha\in A}E$ is connected
52865
Topological Vector Space: $\dim Z\text{ finite}\implies Z\text{ closed}$
106799
Proof Verification: Converse of Intermediate Value Theorem
2575
Showing that $\mathbb{R}$ is connected
8414
Proof verification: Set of partial limits of a sequence is closed
136755
Direct proof of empty set being subset of every set
2056
A space is $T_{0}$ if and only if the closures of singletons are distinct
93606
Showing that $C[0,1]$ is not complete
45219
Proving that $C$ is a subset of $f^{-1}[f(C)]$
97104
Proof that continuous function on $ [0, 2]$ has $f(x) = f(x-1)$ for some $ x$
39455
Prove that $(X\times Y)\setminus (A\times B)$ is connected
68724
$||T-I|| < 1$ implies that $T$ is invertible.
34099
Proving that the empty set is unique
5526
Prove that $ℤ[i]^*= \{1,-1,i,-i\}$
67066
Proof there is a 1-1 correspondence between an uncountable set and itself minus a countable part of it
154459
Constructing a HoTT proof term of 1≠0