mathlib
5d187e83 - separate general-purpose changes from #6606

Commit

5 years ago

separate general-purpose changes from #6606

References

#6606 - feat(linear_algebra/bilinear_form, linear_algebra/quadratic_form): bilinear, quadratic forms on finsupp

Author

hrmacbeth

hrmacbeth

Parents

Loading