mathlib
9ad8ea3b - chore(linear_algebra/quadratic_form): fix typo (#7907)
Commit
View On GitHub
Commit
4 years ago
chore(linear_algebra/quadratic_form): fix typo (#7907)
Author
kex-y kex-y
Parents
7b7cd0a1
FAQ Terms Privacy Refunds Impressum
Loading