mathlib
5a0daab1 - Merge branch 'to_lin_generalize' into finsupp_bilin

Commit

5 years ago

Merge branch 'to_lin_generalize' into finsupp_bilin

References

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

Author

hrmacbeth

hrmacbeth

Parents

Loading