Uniqueness of Injective Resolutions up to Homotopy Algebra Structural Isomorphisms of Tensor Products Algebra Block Triangular Determinant Linear Algebra Triangle Inequality For Inner Product Spaces Linear Algebra Normal Equals Splitting Field Algebra Uniqueness of Algebraic Closure Algebra Jordan Normal Form Theorem Linear Algebra Subgroup Criterion Group Theory Algebra Area Linear Algebra Subarea