mathlib3
7058fa61 - feat(linear_algebra/{bilinear,quadratic}_form): inherit scalar actions from algebras (#6586)

Commit

4 years ago

feat(linear_algebra/{bilinear,quadratic}_form): inherit scalar actions from algebras (#6586) For example, this means a quadratic form over the quaternions inherits an `ℝ` action.

Author

eric-wieser

Parents

5d0a40f1

mathlib3 7058fa61 - feat(linear_algebra/{bilinear,quadratic}_form): inherit scalar actions from algebras (#6586)

mathlib3
7058fa61 - feat(linear_algebra/{bilinear,quadratic}_form): inherit scalar actions from algebras (#6586)