Corollary of Noether's normalization lemma
116955
Showing the existence of a certain kind of extension of a finitely generated algebra
32420
A complete orthonormal system contained in a dense sub-space.
66500
Proving that orthogonal vectors are linearly independent
36826
Products of Differential Operators
22297
Normal operator $\Rightarrow$ S invariant implies $S^\perp$ invariant
88013
injective linear transformation basis.
137691
What are the self-normalizing subgroups of $S_n$?
38840
Tightness and Inner Regularity
143869
Showing that the norm of the canonical projection $X\to X/M$ is $1$
156803
Proving a corollary to Schwarz lemma
156877
Rank-one perturbation proof
40293
Understanding the definition of norm of tensors on a Riemannian manifold
122305
Proof of matrix norm property: submultiplicativity
117175
Proof that the 2-norm of orthogonal transformation of a matrix is invariant
133884
A proof using Yoneda lemma
112231
Showing that a one-to-one linear transformation maps a linearly independent set onto a linearly independent set
12802
Proof of correctness of normal equation