Mathlib v3 is deprecated. Go to Mathlib v4

Def quadratic_form.prod

Modification history

2021-12-22 23:07
src/linear_algebra/quadratic_form/prod.lean
feat(quadratic_form/prod): quadratic forms on product and pi types (#10939) …
Added quadratic_form.prodView on Github →