Group Definition Units Modulo n Theorem #735 Dimension Of Subspaces Linear Algebra Polarisation Identity Linear Algebra First Inequality Algebra Change Of Basis For Hermitian Forms Linear Algebra Diagonalisation Criterion Linear Algebra Projective Resolution Comparison Theorem Algebra Subgroups and Normal Subgroups Under Group Homomorphisms Algebra Kernel And Image Of Dual Map Linear Algebra Algebra Area