mathlib
1d0df917 - feat(linear_algebra/matrix): inner prod of matrix (#14794)

Commit

3 years ago

feat(linear_algebra/matrix): inner prod of matrix (#14794) A positive definite matrix `M` induces an inner product `⟪x, y⟫ = xᴴMy`.

Author

abentkamp

Parents