About $L \vDash GCH$
62879
Question about the proof of $GCH$ holds in $\mathbf L$
105951
Does $G\times K\cong H\times K$ imply $G\cong H$?
114987
How many connected components does $\mathrm{GL}_n(\mathbb R)$ have?
54737
Proof that $V = \sum_k U_k$ and $\dim V=\sum_k \dim U_k$ implies $V=\oplus_k U_k$
77361
How to prove $|H|[K:K \cap (g^{-1}Hg)]=|K|[H:H \cap (gKg^{-1})]$?
78263
Prove $GL_n(\Bbb{R})/SL_n(\Bbb{R}) \cong \Bbb{R}^\times$
66501
Notation Question: What does $\vdash$ mean in logic?
88598
Property of $\{0^n, 1^n, \ldots\}$
67383
Prove that $G'$ is not planar.
17191
How to verify $H\otimes K \cong \bigoplus\limits_{i\in I}H$
27901
Proving $\sum\limits_{i=1}^k | \langle x,v_i \rangle \langle y,v_i\rangle| \leq \|x\|\cdot \|y\|$
144097
eigenvalues and eigenvectors of $vv^T$
83273
Show that $o(gHg^{-1})=o(H)$
150882
If $\Gamma \cup \{ \neg \varphi \}$ is inconsistent, then $\Gamma \vdash \varphi$
85175
Continuous Images of $GL_n(\mathbb{R})$
156910
Necessary and sufficient condition for $R/IJ \cong R/I \times R/J$
63952
Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true