Formal definition of $\Omega_{X/Y}\otimes k(x)$
101473
Tensor product of a sheaf of module and a residue field
130253
Differentiating $\mbox{tr} (ABA^TC)$ w.r.t. $A$
80996
A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?
119477
Understanding the Definition of $\int_\gamma f\ \overline{dz}$
79024
the derivation of E(X|X)
49984
Valid justification for algebraic manipulation of $\mathrm{d}y/\mathrm{d}x$?
125008
Define a bijection between $Z^{X \cup Y}$ and $Z^X \times Z^Y$, where $X, Y \in \mathcal{P}(\Omega) $ and $X \cap Y = \emptyset$
90475
Coordinate-free proof of $\operatorname{Tr}(AB)=\operatorname{Tr}(BA)$?
43987
Decomposition of the tensor product $\mathbb{Q}_p \otimes_{\mathbb{Q}} \mathbb{Q}[i]$ into a product of fields
108642
$e^A$, where $A= \begin{bmatrix} 0 & \omega \\ -\omega& 0 \end{bmatrix}$
48524
Existence proof of the tensor product using the Adjoint functor theorem.
56429
Extension of partial derivatives and the definition of $C^k(\overline{\Omega})$
135046
Can this quick way of showing that $K[X,Y]/(Y-X^2)\cong K[X]$ be turned into a valid argument?
156727
A step in the proof of Characterization of $W^{1,\infty}$
28500
What are the components and path components of $\mathbb{R}^{\omega}$ in the product, uniform, and box topologies?
130367
Proof that $K\otimes_F L$ is not noetherian
52750
Prove that $f^\ast\omega=\det f \cdot \omega$