HomeTroughMathlibMathlib overviewLinear algebraContentsStatementsMapContentsLoading the map…Reading Linear algebra Fundamentals Duality Finite-dimensional vector spaces Finitely generated modules over a PID Matrices Endomorphism polynomials Structure theory of endomorphisms Bilinear and quadratic forms Finite-dimensional inner product spaces (see also Hilbert spaces, below) Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.