mathlib
e37daad5
- feat(linear_algebra/sesquilinear_form): Add orthogonality properties (#10992)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(linear_algebra/sesquilinear_form): Add orthogonality properties (#10992) Generalize lemmas about orthogonality from bilinear forms to sesquilinear forms.
Author
mcdoll
Parents
b52cb02c
Loading
mathlib
e37daad5 - feat(linear_algebra/sesquilinear_form): Add orthogonality properties (#10992)
