mathlib
b83bd25d
- feat(linear_algebra/sesquilinear_form): add nondegenerate (#12683)
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 nondegenerate (#12683) Defines nondegenerate sesquilinear forms as left and right separating sesquilinear forms.
Author
mcdoll
Parents
17b621c0
Loading
mathlib
b83bd25d - feat(linear_algebra/sesquilinear_form): add nondegenerate (#12683)
