$M_x$ is free $\Rightarrow \widetilde{M}$ is locally free at $x$
67633
Generic flatness on modules
35236
Proof $p \vdash q \Rightarrow p$
128493
Given a commutative ring $R$ and an epimorphism of free modules $R^m \to R^n$ is then $m \geq n$?
83163
If $X$ is a connected metric space, then a locally constant function $f: X \to $ M, $M $ a metric space, is constant
49385
Proving $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ in a Hilbert system where it is not an axiom
22629
rank of the free group: $\mathrm{rank} F_X=|X|$
69398
Rank-nullity theorem for free $\mathbb Z$-modules
93771
Prove that for any set $A$ there is some $x \notin A$
73773
$C(M)=\{A\in M_n(\mathbb{C}) \mid AM=MA\}$ is a subspace of dimension at least $n$.
138825
The strong topology on $U(\mathcal H)$ is metrisable
123061
$X$ metric separable then $C(X)$ separable
92802
Proof of Borsuk-Ulam Theorem .
139537
Show that $x\subseteq y \Leftrightarrow \mathcal{P}(x)\subseteq\mathcal{P}(y)$.
4064
An equality involving the mean value property
134859
Let $(X, \mathcal{T})$ be a metrizable space. Prove that $X$ Lindelöf implies that $X$ is separable.
46265
Minimal polynomial of the operator $T:V\oplus W\to V\oplus W$
152725
Why does $S^n$ satisfy the local $n$-slice condition? (From Lee's Smooth Manifolds)