Show $\vdash \phi$ implies $\vdash \psi \to \phi$.
40655
Propositional Logic - Can you Derive $C \to A$ from $A$ alone, given the introduction rule?
33144
Criterion for $\phi(mn)=m\phi(n)$ to be true
145600
Is it true that $ U \oplus W_1 = U \oplus W_2 \implies W_1 = W_2 $?
124844
Show that $\phi \circ f$ belongs to $L_p$ for each $f \in L_p$
49296
Prove $|(1+|u|^2)v-(1+|v|^2)u|>|u\bar{v}-\bar{u}v|$
12976
Prove $\displaystyle\lim_{n\to\infty}\phi(n)=\infty$.
137011
showing $\psi: R\to \mathbb C$ is ring isomorphism.
18839
Proof about inner product space $\vert \langle x,y\rangle \vert=\Vert x \Vert\Vert y \Vert$
50273
How to prove $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$?
17178
Order of $\phi(g)$ divides the order of $g$
89089
Prove that there is a unique inner product on $V$
124424
How to show that there is a deduction of $\varphi\leftrightarrow\psi$
62077
Prove that if $W_1\subseteq V$ finite-dimensional, then there is $W_2\subseteq V$ such that $V=W_1\oplus W_2$
45179
When does the isomorphism $G\simeq \ker(\phi)\times \operatorname{im}(\phi)$? hold?
70475
Proving a basis for inner product space V when $||e_j-v_j||< \frac{1}{\sqrt{n}}$.
132532
Things around $(\forall x)(\Psi \Rightarrow \Phi) \Leftrightarrow ((\exists z)\Psi) \Rightarrow \Phi)$
21807
on proving bac-cab rule, $\vec{A} \times ( \vec{B} \times \vec{C})= \vec{B} (\vec{A} \cdot\vec{C})- \vec{C}(\vec{A}\cdot\vec{B})$